The bear is blue. The bear needs the cat. The bear sees the squirrel. The cat is round. The cat visits the bear. The cow sees the squirrel. The squirrel is big. The squirrel is young. The squirrel visits the cat. The squirrel visits the cow. If someone is round then they are young. If someone needs the bear and the bear is blue then they need the cow.
The bear is blue.
("bear" "is" "blue" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone needs the bear and the bear is blue then they need the cow.
((("someone" "needs" "bear" "+") ("bear" "is" "blue" "+")) -> ("someone" "needs" "cow" "+"))
The cow sees the squirrel.
True
1
proof
[(triple6)]
("cow" "sees" "squirrel" "+")
triple6
The bear is not blue.
False
1
inv-proof
[(triple1)]
("bear" "is" "blue" "-")
triple1
The cat is young.
True
2
proof
[(((triple4) -> rule1))]
("cat" "is" "young" "+")
((triple4) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "is" "young" "-")
((triple4) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The squirrel does not need the cow.
Unknown
inv-rconc
[@1: The squirrel needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "cow" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "+")
The cow does not need the cat.
Unknown
inv-random
[@0: The cow needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The bear is blue.[(triple1)] The bear needs the cat.[(triple2)] The bear sees the squirrel.[(triple3)] The cat is round.[(triple4)] The cat visits the bear.[(triple5)] The cow sees the squirrel.[(triple6)] The squirrel is big.[(triple7)] The squirrel is young.[(triple8)] The squirrel visits the cat.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The cat is young.[(((triple4) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat visits the bear.
("cat" "visits" "bear" "+")
triple5
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple10
The cat is young.
("cat" "is" "young" "+")
((triple4) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1