The cat eats the tiger. The cat is cold. The cat is green. The cat is kind. The cat is nice. The cat is rough. The cat needs the tiger. The cat visits the tiger. The tiger eats the cat. The tiger is cold. The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. The tiger needs the cat. The tiger visits the cat. If something is kind then it eats the cat. If something eats the cat then it eats the tiger.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something is kind then it eats the cat.
((("something" "is" "kind" "+")) -> ("something" "eats" "cat" "+"))
If something eats the cat then it eats the tiger.
((("something" "eats" "cat" "+")) -> ("something" "eats" "tiger" "+"))
The tiger is kind.
True
1
proof
[(triple12)]
("tiger" "is" "kind" "+")
triple12
The tiger is not rough.
False
1
inv-proof
[(triple14)]
("tiger" "is" "rough" "-")
triple14
The cat eats the cat.
True
2
proof
[(((triple4) -> rule1))]
("cat" "eats" "cat" "+")
((triple4) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat does not eat the cat.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "eats" "cat" "-")
((triple4) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The cat eats the tiger.[(triple1 OR ((((triple4) -> rule1)) -> rule2))] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is rough.[(triple6)] The cat needs the tiger.[(triple7)] The cat visits the tiger.[(triple8)] The tiger eats the cat.[(triple9 OR ((triple12) -> rule1))] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the cat.[(triple15)] The tiger visits the cat.[(triple16)] @1: The cat eats the cat.[(((triple4) -> rule1))] The tiger eats the tiger.[(((triple9) -> rule2) OR ((((triple12) -> rule1)) -> rule2))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat is rough.
("cat" "is" "rough" "+")
triple6
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple7
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple8
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple9
((triple12) -> (rule1 % int1))
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple15
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple16
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple4) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple9) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int2