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