Anne is big. Anne is kind. Anne is nice. Anne is not red. Anne is rough. Anne is not smart. Anne is young. Gary is big. Gary is not nice. Gary is young. If Gary is rough and Gary is not smart then Gary is young. If something is smart then it is young. If something is red and kind then it is rough. If something is nice and not kind then it is not rough. Rough, kind things are big. Smart things are not red.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is young.
("Anne" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is young.
("Gary" "is" "young" "+")
If Gary is rough and Gary is not smart then Gary is young.
((("Gary" "is" "rough" "+") ("Gary" "is" "smart" "~")) -> ("Gary" "is" "young" "+"))
If something is smart then it is young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If something is red and kind then it is rough.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something is nice and not kind then it is not rough.
((("something" "is" "nice" "+") ("something" "is" "kind" "~")) -> ("something" "is" "rough" "-"))
Rough, kind things are big.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Smart things are not red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "-"))
Gary is not nice.
True
1
proof
[(triple9)]
("Gary" "is" "nice" "-")
triple9
Anne is not young.
False
1
inv-proof
[(triple7)]
("Anne" "is" "young" "-")
triple7
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is big.[(triple1 OR ((triple5 triple2) -> rule5))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not red.[(triple4)] Anne is not smart.[(triple6)] Anne is rough.[(triple5)] Anne is young.[(triple7)] Gary is big.[(triple8)] Gary is not nice.[(triple9)] Gary is young.[(triple10)]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple5 triple2) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not red.
("Anne" "is" "red" "-")
triple4
Anne is not smart.
("Anne" "is" "smart" "-")
triple6
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is not nice.
("Gary" "is" "nice" "-")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10