The squirrel chases the tiger. The squirrel likes the tiger. The squirrel visits the tiger. The tiger does not chase the squirrel. The tiger is cold. The tiger is kind. The tiger does not visit the squirrel. If someone likes the tiger then they do not chase the squirrel. If someone likes the squirrel then they chase the squirrel. If someone is nice and red then they chase the tiger. If someone visits the squirrel and they do not like the tiger then the tiger likes the squirrel. If someone visits the squirrel then the squirrel visits the tiger. If someone visits the squirrel and the squirrel is red then they are kind. If someone is nice then they visit the squirrel. If someone is nice then they visit the squirrel.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
If someone likes the tiger then they do not chase the squirrel.
((("someone" "likes" "tiger" "+")) -> ("someone" "chases" "squirrel" "-"))
If someone likes the squirrel then they chase the squirrel.
((("someone" "likes" "squirrel" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is nice and red then they chase the tiger.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "tiger" "+"))
If someone visits the squirrel and they do not like the tiger then the tiger likes the squirrel.
((("someone" "visits" "squirrel" "+") ("someone" "likes" "tiger" "~")) -> ("tiger" "likes" "squirrel" "+"))
If someone visits the squirrel then the squirrel visits the tiger.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "tiger" "+"))
If someone visits the squirrel and the squirrel is red then they are kind.
((("someone" "visits" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they visit the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone is nice then they visit the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "squirrel" "+"))
The squirrel likes the tiger.
True
1
proof
[(triple2)]
("squirrel" "likes" "tiger" "+")
triple2
The tiger is not cold.
False
1
inv-proof
[(triple5)]
("tiger" "is" "cold" "-")
triple5
The squirrel does not chase the squirrel.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((triple2) -> (rule1 % int1))
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
int1
The squirrel chases the squirrel.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((triple2) -> (rule1 % int1))
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
int1
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "kind" "-")
The tiger likes the squirrel.
Unknown
rconc
[@1: The tiger likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "likes" "squirrel" "+")
The tiger is not red.
Unknown
inv-random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The squirrel chases the tiger.[(triple1)] The squirrel likes the tiger.[(triple2)] The squirrel visits the tiger.[(triple3)] The tiger does not chase the squirrel.[(triple4)] The tiger does not visit the squirrel.[(triple7)] The tiger is cold.[(triple5)] The tiger is kind.[(triple6)] @1: The squirrel does not chase the squirrel.[(((triple2) -> rule1))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple2
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple3
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple4
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple5
The tiger is kind.
("tiger" "is" "kind" "+")
triple6
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
((triple2) -> (rule1 % int1))
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
int1