The rabbit chases the squirrel. The rabbit is big. The rabbit is rough. The rabbit sees the tiger. The squirrel is green. The squirrel sees the tiger. The tiger chases the squirrel. If something sees the tiger and it is big then the tiger is young.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
If something sees the tiger and it is big then the tiger is young.
((("something" "sees" "tiger" "+") ("something" "is" "big" "+")) -> ("tiger" "is" "young" "+"))
The rabbit is big.
True
1
proof
[(triple2)]
("rabbit" "is" "big" "+")
triple2
The squirrel does not see the tiger.
False
1
inv-proof
[(triple6)]
("squirrel" "sees" "tiger" "-")
triple6
The tiger is young.
True
3
proof
[(((triple4 triple2) -> rule1))]
("tiger" "is" "young" "+")
((triple4 triple2) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("tiger" "is" "young" "-")
((triple4 triple2) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The tiger eats the squirrel.
Unknown
random
[@0: The tiger eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "squirrel" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is big.[(triple2)] The rabbit is rough.[(triple3)] The rabbit sees the tiger.[(triple4)] The squirrel is green.[(triple5)] The squirrel sees the tiger.[(triple6)] The tiger chases the squirrel.[(triple7)] @1: The tiger is young.[(((triple4 triple2) -> rule1))]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit is big.
("rabbit" "is" "big" "+")
triple2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple4
The squirrel is green.
("squirrel" "is" "green" "+")
triple5
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple6
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple7
The tiger is young.
("tiger" "is" "young" "+")
((triple4 triple2) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1