The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is big. The squirrel is kind. The squirrel visits the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is cold. The tiger is red. The tiger visits the squirrel. If something eats the squirrel then it visits the squirrel. If the squirrel visits the tiger and the squirrel chases the tiger then the tiger visits the squirrel.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something eats the squirrel then it visits the squirrel.
((("something" "eats" "squirrel" "+")) -> ("something" "visits" "squirrel" "+"))
If the squirrel visits the tiger and the squirrel chases the tiger then the tiger visits the squirrel.
((("squirrel" "visits" "tiger" "+") ("squirrel" "chases" "tiger" "+")) -> ("tiger" "visits" "squirrel" "+"))
The squirrel is kind.
True
1
proof
[(triple4)]
("squirrel" "is" "kind" "+")
triple4
The tiger does not eat the squirrel.
False
1
inv-proof
[(triple7)]
("tiger" "eats" "squirrel" "-")
triple7
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "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)] The squirrel eats the tiger.[(triple2)] The squirrel is big.[(triple3)] The squirrel is kind.[(triple4)] The squirrel visits the tiger.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger eats the squirrel.[(triple7)] The tiger is cold.[(triple8)] The tiger is red.[(triple9)] The tiger visits the squirrel.[(triple10 OR ((triple7) -> rule1) OR ((triple5 triple1) -> rule2))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple2
The squirrel is big.
("squirrel" "is" "big" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple4
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple5
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple6
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple10
((triple7) -> (rule1 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
((triple5 triple1) -> (rule2 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1