Anne is not furry. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is white. Anne is young. Gary is not furry. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is white. Gary is young. If Anne is green and Anne is white then Anne is not furry. If Anne is red then Anne is quiet. If Gary is rough and Gary is red then Gary is white.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Anne is green and Anne is white then Anne is not furry.
((("Anne" "is" "green" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "furry" "-"))
If Anne is red then Anne is quiet.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "quiet" "+"))
If Gary is rough and Gary is red then Gary is white.
((("Gary" "is" "rough" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "white" "+"))
Gary is young.
True
1
proof
[(triple14)]
("Gary" "is" "young" "+")
triple14
Anne is not rough.
False
1
inv-proof
[(triple5)]
("Anne" "is" "rough" "-")
triple5
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1 OR ((triple2 triple6) -> rule1))] Anne is quiet.[(triple3 OR ((triple4) -> rule2))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Gary is green.[(triple9)] Gary is not furry.[(triple8)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] Gary is white.[(triple13 OR ((triple12 triple11) -> rule3))] Gary is young.[(triple14)]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
((triple2 triple6) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple4) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is not furry.
("Gary" "is" "furry" "-")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is white.
("Gary" "is" "white" "+")
triple13
((triple12 triple11) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple14