The cat is big. The cat is cold. The cat is kind. The cat is rough. The cat is not round. If someone is big and cold then they are rough. All rough people are big.
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is not round.
("cat" "is" "round" "-")
If someone is big and cold then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
The cat is rough.
True
1
proof
[(triple4 OR ((triple1 triple2) -> rule1))]
("cat" "is" "rough" "+")
triple4
((triple1 triple2) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not big.
False
1
inv-proof
[(triple1 OR ((triple4) -> rule2))]
("cat" "is" "big" "-")
triple1
((triple4) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is big.[(triple1 OR ((triple4) -> rule2))] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat is not round.[(triple5)] The cat is rough.[(triple4 OR ((triple1 triple2) -> rule1))]
The cat is big.
("cat" "is" "big" "+")
triple1
((triple4) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is not round.
("cat" "is" "round" "-")
triple5
The cat is rough.
("cat" "is" "rough" "+")
triple4
((triple1 triple2) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1