The squirrel is big. The squirrel is nice. The squirrel needs the tiger. The squirrel visits the tiger. The tiger is big. The tiger is cold. The tiger is not rough. The tiger needs the squirrel. The tiger sees the squirrel. The tiger does not visit the squirrel. If something is rough then it is round. If something is round and it does not see the tiger then it visits the squirrel. If something sees the tiger then it does not visit the squirrel. If something is round then it does not visit the squirrel. If something is big and it does not see the tiger then the tiger visits the squirrel. If something visits the tiger and the tiger is not cold then it is big. If the tiger visits the squirrel and the tiger is big then the tiger is not nice. If something visits the squirrel then it needs the tiger.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If something is round and it does not see the tiger then it visits the squirrel.
((("something" "is" "round" "+") ("something" "sees" "tiger" "~")) -> ("something" "visits" "squirrel" "+"))
If something sees the tiger then it does not visit the squirrel.
((("something" "sees" "tiger" "+")) -> ("something" "visits" "squirrel" "-"))
If something is round then it does not visit the squirrel.
((("something" "is" "round" "+")) -> ("something" "visits" "squirrel" "-"))
If something is big and it does not see the tiger then the tiger visits the squirrel.
((("something" "is" "big" "+") ("something" "sees" "tiger" "~")) -> ("tiger" "visits" "squirrel" "+"))
If something visits the tiger and the tiger is not cold then it is big.
((("something" "visits" "tiger" "+") ("tiger" "is" "cold" "~")) -> ("something" "is" "big" "+"))
If the tiger visits the squirrel and the tiger is big then the tiger is not nice.
((("tiger" "visits" "squirrel" "+") ("tiger" "is" "big" "+")) -> ("tiger" "is" "nice" "-"))
If something visits the squirrel then it needs the tiger.
((("something" "visits" "squirrel" "+")) -> ("something" "needs" "tiger" "+"))
The squirrel is nice.
True
1
proof
[(triple2)]
("squirrel" "is" "nice" "+")
triple2
The squirrel is not big.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "big" "-")
triple1
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "round" "-")
The squirrel sees the tiger.
Unknown
random
[@0: The squirrel sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "tiger" "+")
@0: The squirrel is big.[(triple1)] The squirrel is nice.[(triple2)] The squirrel needs the tiger.[(triple3)] The squirrel visits the tiger.[(triple4)] The tiger does not visit the squirrel.[(triple10)] The tiger is big.[(triple5)] The tiger is cold.[(triple6)] The tiger is not rough.[(triple7)] The tiger needs the squirrel.[(triple8)] The tiger sees the squirrel.[(triple9)]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple2
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple3
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple4
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple5
The tiger is cold.
("tiger" "is" "cold" "+")
triple6
The tiger is not rough.
("tiger" "is" "rough" "-")
triple7
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple8
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple9