Dave is white. Erin is not blue. Erin is furry. Erin is red. Erin is young. Fiona is big. Fiona is blue. If Fiona is big and Fiona is not young then Fiona is white. If someone is blue then they are not nice. If Dave is not white then Dave is furry. If someone is blue and not big then they are red. All nice people are blue. If Dave is furry and Dave is not young then Dave is red. If someone is blue and not white then they are not furry. All young, nice people are furry.
Dave is white.
("Dave" "is" "white" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
If Fiona is big and Fiona is not young then Fiona is white.
((("Fiona" "is" "big" "+") ("Fiona" "is" "young" "~")) -> ("Fiona" "is" "white" "+"))
If someone is blue then they are not nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "-"))
If Dave is not white then Dave is furry.
((("Dave" "is" "white" "~")) -> ("Dave" "is" "furry" "+"))
If someone is blue and not big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
All nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If Dave is furry and Dave is not young then Dave is red.
((("Dave" "is" "furry" "+") ("Dave" "is" "young" "~")) -> ("Dave" "is" "red" "+"))
If someone is blue and not white then they are not furry.
((("someone" "is" "blue" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "furry" "-"))
All young, nice people are furry.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Erin is furry.
True
1
proof
[(triple3)]
("Erin" "is" "furry" "+")
triple3
Erin is blue.
False
1
inv-proof
[(triple2)]
("Erin" "is" "blue" "+")
triple2
Fiona is not nice.
True
2
proof
[(((triple7) -> rule2))]
("Fiona" "is" "nice" "-")
((triple7) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is nice.
False
2
inv-proof
[(((triple7) -> rule2))]
("Fiona" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "red" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Dave is white.[(triple1)] Erin is furry.[(triple3)] Erin is not blue.[(triple2)] Erin is red.[(triple4)] Erin is young.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] @1: Fiona is not nice.[(((triple7) -> rule2))]
Dave is white.
("Dave" "is" "white" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is not blue.
("Erin" "is" "blue" "-")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple7) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1