The cat needs the tiger. The cat visits the tiger. The tiger is green. The tiger is round. The tiger is young. The tiger sees the cat. The tiger visits the cat. If the tiger is round and the tiger is young then the tiger needs the cat. If someone needs the tiger and the tiger needs the cat then they see the tiger. If someone is young and they need the cat then they see the tiger.
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If the tiger is round and the tiger is young then the tiger needs the cat.
((("tiger" "is" "round" "+") ("tiger" "is" "young" "+")) -> ("tiger" "needs" "cat" "+"))
If someone needs the tiger and the tiger needs the cat then they see the tiger.
((("someone" "needs" "tiger" "+") ("tiger" "needs" "cat" "+")) -> ("someone" "sees" "tiger" "+"))
If someone is young and they need the cat then they see the tiger.
((("someone" "is" "young" "+") ("someone" "needs" "cat" "+")) -> ("someone" "sees" "tiger" "+"))
The cat needs the tiger.
True
1
proof
[(triple1)]
("cat" "needs" "tiger" "+")
triple1
The tiger is not young.
False
1
inv-proof
[(triple5)]
("tiger" "is" "young" "-")
triple5
The tiger needs the cat.
True
3
proof
[(((triple4 triple5) -> rule1))]
("tiger" "needs" "cat" "+")
((triple4 triple5) -> (rule1 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The tiger does not need the cat.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("tiger" "needs" "cat" "-")
((triple4 triple5) -> (rule1 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The tiger sees the tiger.
True
5
proof
[(((triple5 ((triple4 triple5) -> rule1)) -> rule3))]
("tiger" "sees" "tiger" "+")
((triple5 ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int2
The cat does not see the tiger.
False
5
inv-proof
[(((triple1 ((triple4 triple5) -> rule1)) -> rule2))]
("cat" "sees" "tiger" "-")
((triple1 ((triple4 triple5) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int2
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
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 cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat needs the tiger.[(triple1)] The cat visits the tiger.[(triple2)] The tiger is green.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5)] The tiger sees the cat.[(triple6)] The tiger visits the cat.[(triple7)] @1: The tiger needs the cat.[(((triple4 triple5) -> rule1))] @2: The cat sees the tiger.[(((triple1 ((triple4 triple5) -> rule1)) -> rule2))] The tiger sees the tiger.[(((triple5 ((triple4 triple5) -> rule1)) -> rule3))]
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple2
The tiger is green.
("tiger" "is" "green" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple6
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple7
The tiger needs the cat.
("tiger" "needs" "cat" "+")
((triple4 triple5) -> (rule1 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The cat sees the tiger.
("cat" "sees" "tiger" "+")
((triple1 ((triple4 triple5) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((triple5 ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int2