Anne is not big. Anne is not furry. Anne is kind. Bob is big. Bob is furry. Gary is big. Gary is green. Gary is red. Gary is not young. Harry is young. Kind, big people are furry. Furry people are green.
Anne is not big.
("Anne" "is" "big" "-")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is young.
("Harry" "is" "young" "+")
Kind, big people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Anne is not furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Gary is not red.
False
1
inv-proof
[(triple8)]
("Gary" "is" "red" "-")
triple8
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is not furry.[(triple2)] Bob is big.[(triple4)] Bob is furry.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7)] Gary is not young.[(triple9)] Gary is red.[(triple8)] Harry is young.[(triple10)] @1: Bob is green.[(((triple5) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is not young.
("Gary" "is" "young" "-")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1