Bob is furry. Bob is smart. Charlie is blue. Charlie is red. Dave is red. Fiona is blue. Fiona is quiet. If Fiona is round then Fiona is blue. If someone is round then they are furry. Round people are red.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If Fiona is round then Fiona is blue.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "blue" "+"))
If someone is round then they are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Fiona is blue.
True
1
proof
[(triple6)]
("Fiona" "is" "blue" "+")
triple6
Fiona is not blue.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "blue" "-")
triple6
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "furry" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Bob is furry.[(triple1)] Bob is smart.[(triple2)] Charlie is blue.[(triple3)] Charlie is red.[(triple4)] Dave is red.[(triple5)] Fiona is blue.[(triple6)] Fiona is quiet.[(triple7)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7