The bear eats the tiger. The bear needs the squirrel. The squirrel eats the bear. The squirrel is nice. The squirrel is round. The squirrel visits the bear. The tiger is red. The tiger needs the bear. The tiger visits the bear. The tiger visits the squirrel. If something needs the tiger and it visits the squirrel then the squirrel is red. If something is nice then it is young.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something needs the tiger and it visits the squirrel then the squirrel is red.
((("something" "needs" "tiger" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
The squirrel is round.
True
1
proof
[(triple5)]
("squirrel" "is" "round" "+")
triple5
The tiger does not need the bear.
False
1
inv-proof
[(triple8)]
("tiger" "needs" "bear" "-")
triple8
The squirrel is young.
True
2
proof
[(((triple4) -> rule2))]
("squirrel" "is" "young" "+")
((triple4) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple4) -> rule2))]
("squirrel" "is" "young" "-")
((triple4) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "young" "-")
The bear is young.
Unknown
rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "young" "+")
The bear does not visit the tiger.
Unknown
inv-random
[@0: The bear visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "tiger" "-")
The tiger eats the squirrel.
Unknown
random
[@0: The tiger eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "squirrel" "+")
@0: The bear eats the tiger.[(triple1)] The bear needs the squirrel.[(triple2)] The squirrel eats the bear.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is round.[(triple5)] The squirrel visits the bear.[(triple6)] The tiger is red.[(triple7)] The tiger needs the bear.[(triple8)] The tiger visits the bear.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The squirrel is young.[(((triple4) -> rule2))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple3
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple6
The tiger is red.
("tiger" "is" "red" "+")
triple7
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple8
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple9
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple10
The squirrel is young.
("squirrel" "is" "young" "+")
((triple4) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1