The bear does not eat the tiger. The bear visits the cat. The cat eats the tiger. The tiger eats the bear. The tiger eats the cat. The tiger is blue. The tiger is red. If someone eats the bear then they visit the cat. If the tiger visits the cat then the cat eats the bear.
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is red.
("tiger" "is" "red" "+")
If someone eats the bear then they visit the cat.
((("someone" "eats" "bear" "+")) -> ("someone" "visits" "cat" "+"))
If the tiger visits the cat then the cat eats the bear.
((("tiger" "visits" "cat" "+")) -> ("cat" "eats" "bear" "+"))
The tiger is red.
True
1
proof
[(triple7)]
("tiger" "is" "red" "+")
triple7
The tiger is not blue.
False
1
inv-proof
[(triple6)]
("tiger" "is" "blue" "-")
triple6
The tiger visits the cat.
True
2
proof
[(((triple4) -> rule1))]
("tiger" "visits" "cat" "+")
((triple4) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The tiger does not visit the cat.
False
2
inv-proof
[(((triple4) -> rule1))]
("tiger" "visits" "cat" "-")
((triple4) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat eats the bear.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("cat" "eats" "bear" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The cat does not eat the bear.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("cat" "eats" "bear" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The cat visits the cat.
True
4
proof
[(((((((triple4) -> rule1)) -> rule2)) -> rule1))]
("cat" "visits" "cat" "+")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int3
The cat does not visit the cat.
False
4
inv-proof
[(((((((triple4) -> rule1)) -> rule2)) -> rule1))]
("cat" "visits" "cat" "-")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int3
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The cat visits the bear.
Unknown
random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "+")
The tiger does not need the cat.
Unknown
inv-random
[@0: The tiger needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "cat" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
The bear does not need the cat.
Unknown
inv-random
[@0: The bear needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cat" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
@0: The bear does not eat the tiger.[(triple1)] The bear visits the cat.[(triple2)] The cat eats the tiger.[(triple3)] The tiger eats the bear.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is blue.[(triple6)] The tiger is red.[(triple7)] @1: The tiger visits the cat.[(((triple4) -> rule1))] @2: The cat eats the bear.[(((((triple4) -> rule1)) -> rule2))] @3: The cat visits the cat.[(((((((triple4) -> rule1)) -> rule2)) -> rule1))]
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
triple1
The bear visits the cat.
("bear" "visits" "cat" "+")
triple2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple3
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple4
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple5
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
The tiger is red.
("tiger" "is" "red" "+")
triple7
The tiger visits the cat.
("tiger" "visits" "cat" "+")
((triple4) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int3