Anne is red. Anne is smart. Gary is not red. All smart people are furry. If Anne is smart then Anne is kind. Furry people are smart. If Anne is not red then Anne is big. If someone is young and not kind then they are not big. Quiet, smart people are big.
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Gary is not red.
("Gary" "is" "red" "-")
All smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If Anne is smart then Anne is kind.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "kind" "+"))
Furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If Anne is not red then Anne is big.
((("Anne" "is" "red" "~")) -> ("Anne" "is" "big" "+"))
If someone is young and not kind then they are not big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "big" "-"))
Quiet, smart people are big.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Anne is red.
True
1
proof
[(triple1)]
("Anne" "is" "red" "+")
triple1
Gary is red.
False
1
inv-proof
[(triple3)]
("Gary" "is" "red" "+")
triple3
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "big" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Gary is not red.[(triple3)] @1: Anne is furry.[(((triple2) -> rule1))] Anne is kind.[(((triple2) -> rule2))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Gary is not red.
("Gary" "is" "red" "-")
triple3
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1