The bear eats the cat. The bear eats the squirrel. The bear is green. The bear is red. The bear is young. The cat eats the bear. The cat eats the squirrel. The cat is nice. The cat sees the cow. The cow is nice. The cow needs the bear. The cow sees the bear. The cow sees the cat. The squirrel needs the cat. The squirrel sees the cat. If something is nice and red then it needs the squirrel. If something eats the bear then the bear eats the cat. If something is young then it eats the cow. If something eats the cat then the cat eats the squirrel. If something is nice and it sees the cat then the cat sees the squirrel. If something eats the bear then the bear sees the cow.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If something is nice and red then it needs the squirrel.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "needs" "squirrel" "+"))
If something eats the bear then the bear eats the cat.
((("something" "eats" "bear" "+")) -> ("bear" "eats" "cat" "+"))
If something is young then it eats the cow.
((("something" "is" "young" "+")) -> ("something" "eats" "cow" "+"))
If something eats the cat then the cat eats the squirrel.
((("something" "eats" "cat" "+")) -> ("cat" "eats" "squirrel" "+"))
If something is nice and it sees the cat then the cat sees the squirrel.
((("something" "is" "nice" "+") ("something" "sees" "cat" "+")) -> ("cat" "sees" "squirrel" "+"))
If something eats the bear then the bear sees the cow.
((("something" "eats" "bear" "+")) -> ("bear" "sees" "cow" "+"))
The cow sees the bear.
True
1
proof
[(triple12)]
("cow" "sees" "bear" "+")
triple12
The bear is not young.
False
1
inv-proof
[(triple5)]
("bear" "is" "young" "-")
triple5
The cat does not need the squirrel.
Unknown
inv-rconc
[@1: The cat needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "squirrel" "-")
The squirrel sees the cow.
Unknown
random
[@0: The squirrel sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cow" "+")
@0: The bear eats the cat.[(triple1 OR ((triple6) -> rule2))] The bear eats the squirrel.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5)] The cat eats the bear.[(triple6)] The cat eats the squirrel.[(triple7 OR ((triple1) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] The cat is nice.[(triple8)] The cat sees the cow.[(triple9)] The cow is nice.[(triple10)] The cow needs the bear.[(triple11)] The cow sees the bear.[(triple12)] The cow sees the cat.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel sees the cat.[(triple15)] @1: The bear eats the cow.[(((triple5) -> rule3))] The bear sees the cow.[(((triple6) -> rule6))] The cat sees the squirrel.[(((triple10 triple13) -> rule5))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
((triple6) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The cat eats the bear.
("cat" "eats" "bear" "+")
triple6
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple7
((triple1) -> (rule4 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
triple8
The cat sees the cow.
("cat" "sees" "cow" "+")
triple9
The cow is nice.
("cow" "is" "nice" "+")
triple10
The cow needs the bear.
("cow" "needs" "bear" "+")
triple11
The cow sees the bear.
("cow" "sees" "bear" "+")
triple12
The cow sees the cat.
("cow" "sees" "cat" "+")
triple13
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple14
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple15
The bear eats the cow.
("bear" "eats" "cow" "+")
((triple5) -> (rule3 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
((triple6) -> (rule6 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
((triple10 triple13) -> (rule5 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1