The cow eats the tiger. The cow is green. The cow is kind. The cow is nice. The cow is rough. The cow likes the tiger. The cow needs the tiger. The tiger eats the cow. The tiger is cold. The tiger is rough. The tiger likes the cow. The tiger needs the cow. If someone is green then they eat the cow. If someone is nice and they like the cow then they like the tiger. If someone is kind and they need the tiger then the tiger is nice.
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
If someone is green then they eat the cow.
((("someone" "is" "green" "+")) -> ("someone" "eats" "cow" "+"))
If someone is nice and they like the cow then they like the tiger.
((("someone" "is" "nice" "+") ("someone" "likes" "cow" "+")) -> ("someone" "likes" "tiger" "+"))
If someone is kind and they need the tiger then the tiger is nice.
((("someone" "is" "kind" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
The cow likes the tiger.
True
1
proof
[(triple6)]
("cow" "likes" "tiger" "+")
triple6
The cow is not kind.
False
1
inv-proof
[(triple3)]
("cow" "is" "kind" "-")
triple3
The tiger is nice.
True
3
proof
[(((triple3 triple7) -> rule3))]
("tiger" "is" "nice" "+")
((triple3 triple7) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The cow does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "eats" "cow" "-")
((triple2) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The tiger likes the tiger.
True
5
proof
[(((((triple3 triple7) -> rule3) triple11) -> rule2))]
("tiger" "likes" "tiger" "+")
((((triple3 triple7) -> (rule3 % int2)) triple11) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger does not like the tiger.
False
5
inv-proof
[(((((triple3 triple7) -> rule3) triple11) -> rule2))]
("tiger" "likes" "tiger" "-")
((((triple3 triple7) -> (rule3 % int2)) triple11) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
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 tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The cow eats the tiger.[(triple1)] The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The cow likes the tiger.[(triple6)] The cow needs the tiger.[(triple7)] The tiger eats the cow.[(triple8)] The tiger is cold.[(triple9)] The tiger is rough.[(triple10)] The tiger likes the cow.[(triple11)] The tiger needs the cow.[(triple12)] @1: The cow eats the cow.[(((triple2) -> rule1))] The tiger is nice.[(((triple3 triple7) -> rule3))] @2: The tiger likes the tiger.[(((((triple3 triple7) -> rule3) triple11) -> rule2))]
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple6
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple7
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple11
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple12
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
((triple3 triple7) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((triple3 triple7) -> (rule3 % int2)) triple11) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2