Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is young. Charlie is red. Harry is smart. Rough people are furry.
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Anne is round.
True
1
proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Anne is not round.
False
1
inv-proof
[(triple3)]
("Anne" "is" "round" "-")
triple3
Anne is furry.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Charlie is red.[(triple6)] Harry is smart.[(triple7)] @1: Anne is furry.[(((triple2) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1