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