The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is young. The squirrel does not need the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is big. The tiger is cold. The tiger is kind. The tiger needs the squirrel. If something is young and it needs the squirrel then the squirrel needs the tiger. If something needs the tiger then it needs the squirrel. Young, cold things are big. If something eats the tiger and it chases the tiger then it is cold. If something eats the tiger and it does not chase the tiger then the tiger does not eat the squirrel. If the tiger chases the squirrel and the tiger does not eat the squirrel then the tiger is kind. If something needs the tiger then the tiger chases the squirrel. If the tiger is kind and the tiger is young then the tiger does not chase the squirrel.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not need the tiger.
("squirrel" "needs" "tiger" "-")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something is young and it needs the squirrel then the squirrel needs the tiger.
((("something" "is" "young" "+") ("something" "needs" "squirrel" "+")) -> ("squirrel" "needs" "tiger" "+"))
If something needs the tiger then it needs the squirrel.
((("something" "needs" "tiger" "+")) -> ("something" "needs" "squirrel" "+"))
Young, cold things are big.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something eats the tiger and it chases the tiger then it is cold.
((("something" "eats" "tiger" "+") ("something" "chases" "tiger" "+")) -> ("something" "is" "cold" "+"))
If something eats the tiger and it does not chase the tiger then the tiger does not eat the squirrel.
((("something" "eats" "tiger" "+") ("something" "chases" "tiger" "~")) -> ("tiger" "eats" "squirrel" "-"))
If the tiger chases the squirrel and the tiger does not eat the squirrel then the tiger is kind.
((("tiger" "chases" "squirrel" "+") ("tiger" "eats" "squirrel" "~")) -> ("tiger" "is" "kind" "+"))
If something needs the tiger then the tiger chases the squirrel.
((("something" "needs" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
If the tiger is kind and the tiger is young then the tiger does not chase the squirrel.
((("tiger" "is" "kind" "+") ("tiger" "is" "young" "+")) -> ("tiger" "chases" "squirrel" "-"))
The tiger is kind.
True
1
proof
[(triple9)]
("tiger" "is" "kind" "+")
triple9
The tiger does not eat the squirrel.
False
1
inv-proof
[(triple6)]
("tiger" "eats" "squirrel" "-")
triple6
The squirrel is cold.
True
3
proof
[(((triple2 triple1) -> rule4))]
("squirrel" "is" "cold" "+")
((triple2 triple1) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not cold.
False
3
inv-proof
[(((triple2 triple1) -> rule4))]
("squirrel" "is" "cold" "-")
((triple2 triple1) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is big.
True
5
proof
[(((triple3 ((triple2 triple1) -> rule4)) -> rule3))]
("squirrel" "is" "big" "+")
((triple3 ((triple2 triple1) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is not big.
False
5
inv-proof
[(((triple3 ((triple2 triple1) -> rule4)) -> rule3))]
("squirrel" "is" "big" "-")
((triple3 ((triple2 triple1) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The squirrel chases the tiger.[(triple1)] The squirrel does not need the tiger.[(triple4)] The squirrel eats the tiger.[(triple2)] The squirrel is young.[(triple3)] The tiger chases the squirrel.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger is big.[(triple7)] The tiger is cold.[(triple8)] The tiger is kind.[(triple9)] The tiger needs the squirrel.[(triple10)] @1: The squirrel is cold.[(((triple2 triple1) -> rule4))] @2: The squirrel is big.[(((triple3 ((triple2 triple1) -> rule4)) -> rule3))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
The squirrel does not need the tiger.
("squirrel" "needs" "tiger" "-")
triple4
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple2
The squirrel is young.
("squirrel" "is" "young" "+")
triple3
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple5
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple6
The tiger is big.
("tiger" "is" "big" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple2 triple1) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((triple3 ((triple2 triple1) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2