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