The cat eats the tiger. The cat is big. The cat is cold. The cow chases the tiger. The cow is big. The cow is kind. The cow needs the tiger. The tiger eats the cow. The tiger is blue. The tiger is cold. The tiger needs the cat. The tiger needs the cow. If someone is cold then they chase the tiger. If someone eats the tiger and they chase the tiger then they need the cat.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
If someone is cold then they chase the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "tiger" "+"))
If someone eats the tiger and they chase the tiger then they need the cat.
((("someone" "eats" "tiger" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "needs" "cat" "+"))
The cat is big.
True
1
proof
[(triple2)]
("cat" "is" "big" "+")
triple2
The tiger does not need the cow.
False
1
inv-proof
[(triple12)]
("tiger" "needs" "cow" "-")
triple12
The tiger chases the tiger.
True
2
proof
[(((triple10) -> rule1))]
("tiger" "chases" "tiger" "+")
((triple10) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger does not chase the tiger.
False
2
inv-proof
[(((triple10) -> rule1))]
("tiger" "chases" "tiger" "-")
((triple10) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The cat needs the cat.
True
4
proof
[(((triple1 ((triple3) -> rule1)) -> rule2))]
("cat" "needs" "cat" "+")
((triple1 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2
The cat does not need the cat.
False
4
inv-proof
[(((triple1 ((triple3) -> rule1)) -> rule2))]
("cat" "needs" "cat" "-")
((triple1 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2
The cow does not need the cat.
Unknown
inv-rconc
[@1: The cow needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "cat" "-")
The cat chases the cow.
Unknown
random
[@0: The cat chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cow" "+")
The cat does not need the tiger.
Unknown
inv-random
[@0: The cat needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "tiger" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The cow eats the tiger.
Unknown
random
[@0: The cow eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "tiger" "+")
@0: The cat eats the tiger.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cow chases the tiger.[(triple4)] The cow is big.[(triple5)] The cow is kind.[(triple6)] The cow needs the tiger.[(triple7)] The tiger eats the cow.[(triple8)] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger needs the cat.[(triple11)] The tiger needs the cow.[(triple12)] @1: The cat chases the tiger.[(((triple3) -> rule1))] The tiger chases the tiger.[(((triple10) -> rule1))] @2: The cat needs the cat.[(((triple1 ((triple3) -> rule1)) -> rule2))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple4
The cow is big.
("cow" "is" "big" "+")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple6
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple7
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple11
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple12
The cat chases the tiger.
("cat" "chases" "tiger" "+")
((triple3) -> (rule1 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple10) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple1 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2