The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is not red. The squirrel likes the tiger. The tiger chases the squirrel. The tiger does not eat the squirrel. The tiger is blue. The tiger is cold. The tiger is red. The tiger likes the squirrel. If something chases the tiger and it does not chase the squirrel then it is not rough. If something is blue and it does not eat the tiger then the tiger is cold. If something is rough and it chases the tiger then it is not blue. If something likes the squirrel then it likes the tiger. If the squirrel likes the tiger and the squirrel does not eat the tiger then the tiger likes the squirrel. If something likes the tiger and the tiger likes the squirrel then it chases the tiger. If something eats the tiger and the tiger eats the squirrel then the squirrel likes the tiger. If something chases the tiger and it eats the squirrel then the squirrel likes the tiger.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If something chases the tiger and it does not chase the squirrel then it is not rough.
((("something" "chases" "tiger" "+") ("something" "chases" "squirrel" "~")) -> ("something" "is" "rough" "-"))
If something is blue and it does not eat the tiger then the tiger is cold.
((("something" "is" "blue" "+") ("something" "eats" "tiger" "~")) -> ("tiger" "is" "cold" "+"))
If something is rough and it chases the tiger then it is not blue.
((("something" "is" "rough" "+") ("something" "chases" "tiger" "+")) -> ("something" "is" "blue" "-"))
If something likes the squirrel then it likes the tiger.
((("something" "likes" "squirrel" "+")) -> ("something" "likes" "tiger" "+"))
If the squirrel likes the tiger and the squirrel does not eat the tiger then the tiger likes the squirrel.
((("squirrel" "likes" "tiger" "+") ("squirrel" "eats" "tiger" "~")) -> ("tiger" "likes" "squirrel" "+"))
If something likes the tiger and the tiger likes the squirrel then it chases the tiger.
((("something" "likes" "tiger" "+") ("tiger" "likes" "squirrel" "+")) -> ("something" "chases" "tiger" "+"))
If something eats the tiger and the tiger eats the squirrel then the squirrel likes the tiger.
((("something" "eats" "tiger" "+") ("tiger" "eats" "squirrel" "+")) -> ("squirrel" "likes" "tiger" "+"))
If something chases the tiger and it eats the squirrel then the squirrel likes the tiger.
((("something" "chases" "tiger" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "likes" "tiger" "+"))
The tiger is blue.
True
1
proof
[(triple7)]
("tiger" "is" "blue" "+")
triple7
The squirrel does not chase the tiger.
False
1
inv-proof
[(triple1 OR ((triple4 triple10) -> rule6))]
("squirrel" "chases" "tiger" "-")
triple1
((triple4 triple10) -> (rule6 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The tiger likes the tiger.
True
2
proof
[(((triple10) -> rule4))]
("tiger" "likes" "tiger" "+")
((triple10) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger does not like the tiger.
False
2
inv-proof
[(((triple10) -> rule4))]
("tiger" "likes" "tiger" "-")
((triple10) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger chases the tiger.
True
4
proof
[(((((triple10) -> rule4) triple10) -> rule6))]
("tiger" "chases" "tiger" "+")
((((triple10) -> (rule4 % int2)) triple10) -> (rule6 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger does not chase the tiger.
False
4
inv-proof
[(((((triple10) -> rule4) triple10) -> rule6))]
("tiger" "chases" "tiger" "-")
((((triple10) -> (rule4 % int2)) triple10) -> (rule6 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The squirrel chases the tiger.[(triple1 OR ((triple4 triple10) -> rule6))] The squirrel eats the tiger.[(triple2)] The squirrel is not red.[(triple3)] The squirrel likes the tiger.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger does not eat the squirrel.[(triple6)] The tiger is blue.[(triple7)] The tiger is cold.[(triple8)] The tiger is red.[(triple9)] The tiger likes the squirrel.[(triple10)] @1: The tiger likes the tiger.[(((triple10) -> rule4))] @2: The tiger chases the tiger.[(((((triple10) -> rule4) triple10) -> rule6))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
((triple4 triple10) -> (rule6 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple2
The squirrel is not red.
("squirrel" "is" "red" "-")
triple3
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple5
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple6
The tiger is blue.
("tiger" "is" "blue" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple10
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple10) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((((triple10) -> (rule4 % int2)) triple10) -> (rule6 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2