The squirrel likes the tiger. The tiger eats the squirrel. The tiger is cold. The tiger is kind. The tiger is round. The tiger likes the squirrel. The tiger needs the squirrel. If someone is rough then they like the squirrel. If someone needs the tiger then the tiger needs the squirrel. If the squirrel eats the tiger and the squirrel is cold then the tiger eats the squirrel. If someone likes the squirrel then the squirrel is round. If someone eats the squirrel then the squirrel likes the tiger. If the tiger likes the squirrel and the squirrel likes the tiger then the tiger eats the squirrel.
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone is rough then they like the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone needs the tiger then the tiger needs the squirrel.
((("someone" "needs" "tiger" "+")) -> ("tiger" "needs" "squirrel" "+"))
If the squirrel eats the tiger and the squirrel is cold then the tiger eats the squirrel.
((("squirrel" "eats" "tiger" "+") ("squirrel" "is" "cold" "+")) -> ("tiger" "eats" "squirrel" "+"))
If someone likes the squirrel then the squirrel is round.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If someone eats the squirrel then the squirrel likes the tiger.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "likes" "tiger" "+"))
If the tiger likes the squirrel and the squirrel likes the tiger then the tiger eats the squirrel.
((("tiger" "likes" "squirrel" "+") ("squirrel" "likes" "tiger" "+")) -> ("tiger" "eats" "squirrel" "+"))
The tiger is round.
True
1
proof
[(triple5)]
("tiger" "is" "round" "+")
triple5
The tiger is not kind.
False
1
inv-proof
[(triple4)]
("tiger" "is" "kind" "-")
triple4
The squirrel is round.
True
2
proof
[(((triple6) -> rule4))]
("squirrel" "is" "round" "+")
((triple6) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple6) -> rule4))]
("squirrel" "is" "round" "-")
((triple6) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The squirrel likes the tiger.[(triple1 OR ((triple2) -> rule5))] The tiger eats the squirrel.[(triple2 OR ((triple6 triple1) -> rule6))] The tiger is cold.[(triple3)] The tiger is kind.[(triple4)] The tiger is round.[(triple5)] The tiger likes the squirrel.[(triple6)] The tiger needs the squirrel.[(triple7)] @1: The squirrel is round.[(((triple6) -> rule4))]
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple1
((triple2) -> (rule5 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple2
((triple6 triple1) -> (rule6 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
triple3
The tiger is kind.
("tiger" "is" "kind" "+")
triple4
The tiger is round.
("tiger" "is" "round" "+")
triple5
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple6
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
((triple6) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1