The squirrel chases the tiger. The squirrel is cold. The squirrel is rough. The squirrel is young. The squirrel likes the tiger. The tiger does not chase the squirrel. The tiger is red. If someone eats the tiger then the tiger does not like the squirrel. If someone eats the tiger then the tiger does not eat the squirrel. If someone chases the squirrel then the squirrel eats the tiger. If someone eats the squirrel and they chase the tiger then the squirrel chases the tiger. If the tiger is young and the tiger eats the squirrel then the squirrel does not like the tiger. If someone is young then they chase the squirrel.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
The tiger is red.
("tiger" "is" "red" "+")
If someone eats the tiger then the tiger does not like the squirrel.
((("someone" "eats" "tiger" "+")) -> ("tiger" "likes" "squirrel" "-"))
If someone eats the tiger then the tiger does not eat the squirrel.
((("someone" "eats" "tiger" "+")) -> ("tiger" "eats" "squirrel" "-"))
If someone chases the squirrel then the squirrel eats the tiger.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "eats" "tiger" "+"))
If someone eats the squirrel and they chase the tiger then the squirrel chases the tiger.
((("someone" "eats" "squirrel" "+") ("someone" "chases" "tiger" "+")) -> ("squirrel" "chases" "tiger" "+"))
If the tiger is young and the tiger eats the squirrel then the squirrel does not like the tiger.
((("tiger" "is" "young" "+") ("tiger" "eats" "squirrel" "+")) -> ("squirrel" "likes" "tiger" "-"))
If someone is young then they chase the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "chases" "squirrel" "+"))
The squirrel chases the tiger.
True
1
proof
[(triple1)]
("squirrel" "chases" "tiger" "+")
triple1
The squirrel does not chase the tiger.
False
1
inv-proof
[(triple1)]
("squirrel" "chases" "tiger" "-")
triple1
The squirrel chases the squirrel.
True
2
proof
[(((triple4) -> rule6))]
("squirrel" "chases" "squirrel" "+")
((triple4) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple4) -> rule6))]
("squirrel" "chases" "squirrel" "-")
((triple4) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel eats the tiger.
True
3
proof
[(((((triple4) -> rule6)) -> rule3))]
("squirrel" "eats" "tiger" "+")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel does not eat the tiger.
False
3
inv-proof
[(((((triple4) -> rule6)) -> rule3))]
("squirrel" "eats" "tiger" "-")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The tiger does not like the squirrel.
True
4
proof
[(((((((triple4) -> rule6)) -> rule3)) -> rule1))]
("tiger" "likes" "squirrel" "-")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The tiger likes the squirrel.
False
4
inv-proof
[(((((((triple4) -> rule6)) -> rule3)) -> rule1))]
("tiger" "likes" "squirrel" "+")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
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 squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
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 squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
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 is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The squirrel chases the tiger.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is rough.[(triple3)] The squirrel is young.[(triple4)] The squirrel likes the tiger.[(triple5)] The tiger does not chase the squirrel.[(triple6)] The tiger is red.[(triple7)] @1: The squirrel chases the squirrel.[(((triple4) -> rule6))] @2: The squirrel eats the tiger.[(((((triple4) -> rule6)) -> rule3))] @3: The tiger does not eat the squirrel.[(((((((triple4) -> rule6)) -> rule3)) -> rule2))] The tiger does not like the squirrel.[(((((((triple4) -> rule6)) -> rule3)) -> rule1))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The squirrel is young.
("squirrel" "is" "young" "+")
triple4
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple5
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple6
The tiger is red.
("tiger" "is" "red" "+")
triple7
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple4) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3