The cat is blue. The cat is green. The cat is kind. The cat is nice. The cat needs the tiger. The cat visits the tiger. The tiger is blue. The tiger is nice. The tiger is young. The tiger visits the cat. If something eats the tiger then the tiger is green. If the tiger is young and the tiger visits the cat then the cat eats the tiger.
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something eats the tiger then the tiger is green.
((("something" "eats" "tiger" "+")) -> ("tiger" "is" "green" "+"))
If the tiger is young and the tiger visits the cat then the cat eats the tiger.
((("tiger" "is" "young" "+") ("tiger" "visits" "cat" "+")) -> ("cat" "eats" "tiger" "+"))
The cat needs the tiger.
True
1
proof
[(triple5)]
("cat" "needs" "tiger" "+")
triple5
The tiger is not blue.
False
1
inv-proof
[(triple7)]
("tiger" "is" "blue" "-")
triple7
The cat eats the tiger.
True
3
proof
[(((triple9 triple10) -> rule2))]
("cat" "eats" "tiger" "+")
((triple9 triple10) -> (rule2 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat does not eat the tiger.
False
3
inv-proof
[(((triple9 triple10) -> rule2))]
("cat" "eats" "tiger" "-")
((triple9 triple10) -> (rule2 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The tiger is green.
True
4
proof
[(((((triple9 triple10) -> rule2)) -> rule1))]
("tiger" "is" "green" "+")
((((triple9 triple10) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The tiger is not green.
False
4
inv-proof
[(((((triple9 triple10) -> rule2)) -> rule1))]
("tiger" "is" "green" "-")
((((triple9 triple10) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The tiger eats the cat.
Unknown
random
[@0: The tiger eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "cat" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat needs the tiger.[(triple5)] The cat visits the tiger.[(triple6)] The tiger is blue.[(triple7)] The tiger is nice.[(triple8)] The tiger is young.[(triple9)] The tiger visits the cat.[(triple10)] @1: The cat eats the tiger.[(((triple9 triple10) -> rule2))] @2: The tiger is green.[(((((triple9 triple10) -> rule2)) -> rule1))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple5
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple6
The tiger is blue.
("tiger" "is" "blue" "+")
triple7
The tiger is nice.
("tiger" "is" "nice" "+")
triple8
The tiger is young.
("tiger" "is" "young" "+")
triple9
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple10
The cat eats the tiger.
("cat" "eats" "tiger" "+")
((triple9 triple10) -> (rule2 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((((triple9 triple10) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2