The bear eats the cow. The bear eats the mouse. The bear eats the squirrel. The cow eats the bear. The cow eats the mouse. The cow is nice. The cow is rough. The cow visits the mouse. The cow visits the squirrel. The mouse eats the cow. The mouse eats the squirrel. The mouse is big. The squirrel chases the cow. The squirrel is big. The squirrel is nice. If something is rough and it chases the bear then it is round. If something eats the mouse then it is nice. If something eats the bear and it is young then the bear is rough.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If something is rough and it chases the bear then it is round.
((("something" "is" "rough" "+") ("something" "chases" "bear" "+")) -> ("something" "is" "round" "+"))
If something eats the mouse then it is nice.
((("something" "eats" "mouse" "+")) -> ("something" "is" "nice" "+"))
If something eats the bear and it is young then the bear is rough.
((("something" "eats" "bear" "+") ("something" "is" "young" "+")) -> ("bear" "is" "rough" "+"))
The squirrel chases the cow.
True
1
proof
[(triple13)]
("squirrel" "chases" "cow" "+")
triple13
The cow is not rough.
False
1
inv-proof
[(triple7)]
("cow" "is" "rough" "-")
triple7
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "rough" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The bear eats the cow.[(triple1)] The bear eats the mouse.[(triple2)] The bear eats the squirrel.[(triple3)] The cow eats the bear.[(triple4)] The cow eats the mouse.[(triple5)] The cow is nice.[(triple6 OR ((triple5) -> rule2))] The cow is rough.[(triple7)] The cow visits the mouse.[(triple8)] The cow visits the squirrel.[(triple9)] The mouse eats the cow.[(triple10)] The mouse eats the squirrel.[(triple11)] The mouse is big.[(triple12)] The squirrel chases the cow.[(triple13)] The squirrel is big.[(triple14)] The squirrel is nice.[(triple15)] @1: The bear is nice.[(((triple2) -> rule2))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple3
The cow eats the bear.
("cow" "eats" "bear" "+")
triple4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
((triple5) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
triple7
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple8
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple9
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple10
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple11
The mouse is big.
("mouse" "is" "big" "+")
triple12
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple13
The squirrel is big.
("squirrel" "is" "big" "+")
triple14
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple15
The bear is nice.
("bear" "is" "nice" "+")
((triple2) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1