Charlie is blue. Charlie is rough. Charlie is round. Dave is quiet. Dave is round. Fiona is round. Gary is quiet. If someone is green and round then they are quiet. All furry, rough people are quiet. If someone is big then they are quiet. Furry, blue people are rough. If someone is big and quiet then they are furry. All quiet, blue people are big.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is green and round then they are quiet.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
All furry, rough people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If someone is big then they are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Furry, blue people are rough.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and quiet then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
All quiet, blue people are big.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Charlie is round.
True
1
proof
[(triple3)]
("Charlie" "is" "round" "+")
triple3
Charlie is not round.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "round" "-")
triple3
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Gary" "is" "furry" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Fiona is round.[(triple6)] Gary is quiet.[(triple7)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7