The cat eats the cow. The cat is big. The cat is green. The cat is nice. The cat is red. The cat is round. The cat needs the cow. The cat visits the cow. The cow eats the cat. The cow is big. The cow is nice. The cow is red. The cow is round. The cow needs the cat. The cow visits the cat. If something is round then it needs the cat.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
If something is round then it needs the cat.
((("something" "is" "round" "+")) -> ("something" "needs" "cat" "+"))
The cow is nice.
True
1
proof
[(triple11)]
("cow" "is" "nice" "+")
triple11
The cat is not round.
False
1
inv-proof
[(triple6)]
("cat" "is" "round" "-")
triple6
The cat needs the cat.
True
2
proof
[(((triple6) -> rule1))]
("cat" "needs" "cat" "+")
((triple6) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
2
inv-proof
[(((triple6) -> rule1))]
("cat" "needs" "cat" "-")
((triple6) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cat eats the cow.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat is red.[(triple5)] The cat is round.[(triple6)] The cat needs the cow.[(triple7)] The cat visits the cow.[(triple8)] The cow eats the cat.[(triple9)] The cow is big.[(triple10)] The cow is nice.[(triple11)] The cow is red.[(triple12)] The cow is round.[(triple13)] The cow needs the cat.[(triple14 OR ((triple13) -> rule1))] The cow visits the cat.[(triple15)] @1: The cat needs the cat.[(((triple6) -> rule1))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat needs the cow.
("cat" "needs" "cow" "+")
triple7
The cat visits the cow.
("cat" "visits" "cow" "+")
triple8
The cow eats the cat.
("cow" "eats" "cat" "+")
triple9
The cow is big.
("cow" "is" "big" "+")
triple10
The cow is nice.
("cow" "is" "nice" "+")
triple11
The cow is red.
("cow" "is" "red" "+")
triple12
The cow is round.
("cow" "is" "round" "+")
triple13
The cow needs the cat.
("cow" "needs" "cat" "+")
triple14
((triple13) -> (rule1 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cow visits the cat.
("cow" "visits" "cat" "+")
triple15
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple6) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1