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