Anne is furry. Anne is kind. Anne is nice. Anne is smart. Anne is young. Charlie is nice. Erin is furry. Gary is furry. Gary is smart. Gary is young. All red things are kind. If Charlie is young then Charlie is kind. Young, big things are furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If Charlie is young then Charlie is kind.
((("Charlie" "is" "young" "+")) -> ("Charlie" "is" "kind" "+"))
Young, big things are furry.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Gary is smart.
True
1
proof
[(triple9)]
("Gary" "is" "smart" "+")
triple9
Anne is not nice.
False
1
inv-proof
[(triple3)]
("Anne" "is" "nice" "-")
triple3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Charlie is nice.[(triple6)] Erin is furry.[(triple7)] Gary is furry.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10