Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is not nice. Anne is not quiet. Anne is rough. Bob is not big. Bob is not blue. Bob is cold. Bob is furry. Bob is not nice. Bob is quiet. Bob is rough. If Bob is cold then Bob is rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is not big.
("Bob" "is" "big" "-")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
If Bob is cold then Bob is rough.
((("Bob" "is" "cold" "+")) -> ("Bob" "is" "rough" "+"))
Anne is not nice.
True
1
proof
[(triple5)]
("Anne" "is" "nice" "-")
triple5
Anne is not cold.
False
1
inv-proof
[(triple3)]
("Anne" "is" "cold" "-")
triple3
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is not nice.[(triple5)] Anne is not quiet.[(triple6)] Anne is rough.[(triple7)] Bob is cold.[(triple10)] Bob is furry.[(triple11)] Bob is not big.[(triple8)] Bob is not blue.[(triple9)] Bob is not nice.[(triple12)] Bob is quiet.[(triple13)] Bob is rough.[(triple14 OR ((triple10) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is furry.
("Anne" "is" "furry" "+")
triple4
Anne is not nice.
("Anne" "is" "nice" "-")
triple5
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple6
Anne is rough.
("Anne" "is" "rough" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
triple10
Bob is furry.
("Bob" "is" "furry" "+")
triple11
Bob is not big.
("Bob" "is" "big" "-")
triple8
Bob is not blue.
("Bob" "is" "blue" "-")
triple9
Bob is not nice.
("Bob" "is" "nice" "-")
triple12
Bob is quiet.
("Bob" "is" "quiet" "+")
triple13
Bob is rough.
("Bob" "is" "rough" "+")
triple14
((triple10) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1