Anne is big. Anne is furry. Anne is rough. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Harry is furry. Harry is quiet. If someone is red and rough then they are big. If Harry is green and Harry is rough then Harry is quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is red and rough then they are big.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Harry is green and Harry is rough then Harry is quiet.
((("Harry" "is" "green" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "quiet" "+"))
Anne is rough.
True
1
proof
[(triple3)]
("Anne" "is" "rough" "+")
triple3
Harry is not furry.
False
1
inv-proof
[(triple9)]
("Harry" "is" "furry" "-")
triple9
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Harry is furry.[(triple9)] Harry is quiet.[(triple10)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10