Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Anne is round. Anne is young. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is young. If Anne is kind and Anne is not round then Anne is quiet. If something is quiet and not young then it is not red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If Anne is kind and Anne is not round then Anne is quiet.
((("Anne" "is" "kind" "+") ("Anne" "is" "round" "~")) -> ("Anne" "is" "quiet" "+"))
If something is quiet and not young then it is not red.
((("something" "is" "quiet" "+") ("something" "is" "young" "~")) -> ("something" "is" "red" "-"))
Anne is young.
True
1
proof
[(triple7)]
("Anne" "is" "young" "+")
triple7
Gary is not cold.
False
1
inv-proof
[(triple8)]
("Gary" "is" "cold" "-")
triple8
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13)] Gary is young.[(triple14)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is young.
("Gary" "is" "young" "+")
triple14