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