The squirrel chases the tiger. The squirrel is red. The squirrel visits the tiger. The tiger chases the squirrel. The tiger is kind. The tiger is rough. The tiger likes the squirrel. If the squirrel does not chase the tiger then the squirrel likes the tiger. If something visits the tiger then it is cold.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If the squirrel does not chase the tiger then the squirrel likes the tiger.
((("squirrel" "chases" "tiger" "~")) -> ("squirrel" "likes" "tiger" "+"))
If something visits the tiger then it is cold.
((("something" "visits" "tiger" "+")) -> ("something" "is" "cold" "+"))
The tiger is kind.
True
1
proof
[(triple5)]
("tiger" "is" "kind" "+")
triple5
The tiger is not kind.
False
1
inv-proof
[(triple5)]
("tiger" "is" "kind" "-")
triple5
The squirrel is cold.
True
2
proof
[(((triple3) -> rule2))]
("squirrel" "is" "cold" "+")
((triple3) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not cold.
False
2
inv-proof
[(((triple3) -> rule2))]
("squirrel" "is" "cold" "-")
((triple3) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel does not like the tiger.
Unknown
inv-rconc
[@1: The squirrel likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "tiger" "-")
The tiger is cold.
Unknown
rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "cold" "+")
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 tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The squirrel chases the tiger.[(triple1)] The squirrel is red.[(triple2)] The squirrel visits the tiger.[(triple3)] The tiger chases the squirrel.[(triple4)] The tiger is kind.[(triple5)] The tiger is rough.[(triple6)] The tiger likes the squirrel.[(triple7)] @1: The squirrel is cold.[(((triple3) -> rule2))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
The squirrel is red.
("squirrel" "is" "red" "+")
triple2
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple3
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple4
The tiger is kind.
("tiger" "is" "kind" "+")
triple5
The tiger is rough.
("tiger" "is" "rough" "+")
triple6
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple3) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1