Bob is furry. Bob is red. Bob is white. Dave is red. Dave is white. Fiona is big. Fiona is furry. Gary is quiet. Gary is red. Gary is white. All blue people are red. All blue, quiet people are furry. All blue people are furry. If Fiona is quiet then Fiona is big. If Fiona is not furry and Fiona is not white then Fiona is not big. Young people are big. If someone is young and not blue then they are big. If Dave is not red then Dave is young.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All blue, quiet people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
All blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is quiet then Fiona is big.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "big" "+"))
If Fiona is not furry and Fiona is not white then Fiona is not big.
((("Fiona" "is" "furry" "~") ("Fiona" "is" "white" "~")) -> ("Fiona" "is" "big" "-"))
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is young and not blue then they are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "+"))
If Dave is not red then Dave is young.
((("Dave" "is" "red" "~")) -> ("Dave" "is" "young" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Gary is not red.
False
1
inv-proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Dave" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Bob is white.[(triple3)] Dave is red.[(triple4)] Dave is white.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10