The cow chases the tiger. The cow eats the tiger. The cow is blue. The cow is cold. The cow is nice. The cow is red. The cow needs the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is red. The tiger is round. The tiger needs the cow. If the cow eats the tiger and the tiger eats the cow then the tiger needs the cow. If someone needs the tiger then they chase the cow.
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
If the cow eats the tiger and the tiger eats the cow then the tiger needs the cow.
((("cow" "eats" "tiger" "+") ("tiger" "eats" "cow" "+")) -> ("tiger" "needs" "cow" "+"))
If someone needs the tiger then they chase the cow.
((("someone" "needs" "tiger" "+")) -> ("someone" "chases" "cow" "+"))
The cow is blue.
True
1
proof
[(triple3)]
("cow" "is" "blue" "+")
triple3
The tiger is not blue.
False
1
inv-proof
[(triple10)]
("tiger" "is" "blue" "-")
triple10
The cow chases the cow.
True
2
proof
[(((triple7) -> rule2))]
("cow" "chases" "cow" "+")
((triple7) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple7) -> rule2))]
("cow" "chases" "cow" "-")
((triple7) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
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 tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The cow chases the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] The cow needs the tiger.[(triple7)] The tiger chases the cow.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is round.[(triple14)] The tiger needs the cow.[(triple15 OR ((triple2 triple9) -> rule1))] @1: The cow chases the cow.[(((triple7) -> rule2))]
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple7
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple8
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple15
((triple2 triple9) -> (rule1 % int1))
The tiger needs the cow.
("tiger" "needs" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple7) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1