The cat eats the cow. The cat is big. The cat is red. The cat is round. The cat likes the cow. The cat sees the cow. The cow eats the cat. The cow is big. The cow likes the cat. The cow sees the cat. If the cat eats the cow then the cat is rough.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is big.
("cow" "is" "big" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
If the cat eats the cow then the cat is rough.
((("cat" "eats" "cow" "+")) -> ("cat" "is" "rough" "+"))
The cow eats the cat.
True
1
proof
[(triple7)]
("cow" "eats" "cat" "+")
triple7
The cow does not like the cat.
False
1
inv-proof
[(triple9)]
("cow" "likes" "cat" "-")
triple9
The cat is rough.
True
2
proof
[(((triple1) -> rule1))]
("cat" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cat eats the cow.[(triple1)] The cat is big.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat likes the cow.[(triple5)] The cat sees the cow.[(triple6)] The cow eats the cat.[(triple7)] The cow is big.[(triple8)] The cow likes the cat.[(triple9)] The cow sees the cat.[(triple10)] @1: The cat is rough.[(((triple1) -> rule1))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat likes the cow.
("cat" "likes" "cow" "+")
triple5
The cat sees the cow.
("cat" "sees" "cow" "+")
triple6
The cow eats the cat.
("cow" "eats" "cat" "+")
triple7
The cow is big.
("cow" "is" "big" "+")
triple8
The cow likes the cat.
("cow" "likes" "cat" "+")
triple9
The cow sees the cat.
("cow" "sees" "cat" "+")
triple10
The cat is rough.
("cat" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1