The cat chases the tiger. The cat is kind. The cat likes the tiger. The cat needs the tiger. The tiger is blue. The tiger is nice. The tiger needs the cat. If someone likes the cat and the cat chases the tiger then the tiger chases the cat. If the tiger chases the cat then the cat is round. If someone is green and they like the tiger then the tiger is kind. If someone chases the tiger and the tiger needs the cat then the cat is nice. If someone needs the tiger and they chase the tiger then the tiger likes the cat. If the tiger chases the cat and the cat likes the tiger then the cat is green.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If someone likes the cat and the cat chases the tiger then the tiger chases the cat.
((("someone" "likes" "cat" "+") ("cat" "chases" "tiger" "+")) -> ("tiger" "chases" "cat" "+"))
If the tiger chases the cat then the cat is round.
((("tiger" "chases" "cat" "+")) -> ("cat" "is" "round" "+"))
If someone is green and they like the tiger then the tiger is kind.
((("someone" "is" "green" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If someone chases the tiger and the tiger needs the cat then the cat is nice.
((("someone" "chases" "tiger" "+") ("tiger" "needs" "cat" "+")) -> ("cat" "is" "nice" "+"))
If someone needs the tiger and they chase the tiger then the tiger likes the cat.
((("someone" "needs" "tiger" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "likes" "cat" "+"))
If the tiger chases the cat and the cat likes the tiger then the cat is green.
((("tiger" "chases" "cat" "+") ("cat" "likes" "tiger" "+")) -> ("cat" "is" "green" "+"))
The tiger is blue.
True
1
proof
[(triple5)]
("tiger" "is" "blue" "+")
triple5
The tiger does not need the cat.
False
1
inv-proof
[(triple7)]
("tiger" "needs" "cat" "-")
triple7
The cat is nice.
True
3
proof
[(((triple1 triple7) -> rule4))]
("cat" "is" "nice" "+")
((triple1 triple7) -> (rule4 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is not nice.
False
3
inv-proof
[(((triple1 triple7) -> rule4))]
("cat" "is" "nice" "-")
((triple1 triple7) -> (rule4 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The tiger chases the cat.
True
5
proof
[(((((triple4 triple1) -> rule5) triple1) -> rule1))]
("tiger" "chases" "cat" "+")
((((triple4 triple1) -> (rule5 % int2)) triple1) -> (rule1 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int2
The tiger does not chase the cat.
False
5
inv-proof
[(((((triple4 triple1) -> rule5) triple1) -> rule1))]
("tiger" "chases" "cat" "-")
((((triple4 triple1) -> (rule5 % int2)) triple1) -> (rule1 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int2
The cat is round.
True
6
proof
[(((((((triple4 triple1) -> rule5) triple1) -> rule1)) -> rule2))]
("cat" "is" "round" "+")
((((((triple4 triple1) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int2
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int3
The cat is not round.
False
6
inv-proof
[(((((((triple4 triple1) -> rule5) triple1) -> rule1)) -> rule2))]
("cat" "is" "round" "-")
((((((triple4 triple1) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int2
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int3
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
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 likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat chases the tiger.[(triple1)] The cat is kind.[(triple2)] The cat likes the tiger.[(triple3)] The cat needs the tiger.[(triple4)] The tiger is blue.[(triple5)] The tiger is nice.[(triple6)] The tiger needs the cat.[(triple7)] @1: The cat is nice.[(((triple1 triple7) -> rule4))] The tiger likes the cat.[(((triple4 triple1) -> rule5))] @2: The tiger chases the cat.[(((((triple4 triple1) -> rule5) triple1) -> rule1))] @3: The cat is green.[(((((((triple4 triple1) -> rule5) triple1) -> rule1) triple3) -> rule6))] The cat is round.[(((((((triple4 triple1) -> rule5) triple1) -> rule1)) -> rule2))] @4: The tiger is kind.[(((((((((triple4 triple1) -> rule5) triple1) -> rule1) triple3) -> rule6) triple3) -> rule3))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple4
The tiger is blue.
("tiger" "is" "blue" "+")
triple5
The tiger is nice.
("tiger" "is" "nice" "+")
triple6
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple7
The cat is nice.
("cat" "is" "nice" "+")
((triple1 triple7) -> (rule4 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The tiger likes the cat.
("tiger" "likes" "cat" "+")
((triple4 triple1) -> (rule5 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
((((triple4 triple1) -> (rule5 % int2)) triple1) -> (rule1 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int2
The cat is green.
("cat" "is" "green" "+")
((((((triple4 triple1) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple3) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int2
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int3
The cat is round.
("cat" "is" "round" "+")
((((((triple4 triple1) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int2
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
((((((((triple4 triple1) -> (rule5 % int4)) triple1) -> (rule1 % int3)) triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int3
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int4