The bear is not big. The cow does not eat the mouse. The cow is big. The cow is blue. The cow is red. The cow is round. The mouse eats the bear. The mouse does not eat the squirrel. The mouse is blue. The mouse does not like the cow. The mouse visits the cow. The squirrel is big. The squirrel likes the bear. The squirrel likes the cow. The squirrel visits the cow. Nice things are red. If something eats the bear then the bear is nice. If the bear eats the squirrel then the squirrel eats the bear.
The bear is not big.
("bear" "is" "big" "-")
The cow does not eat the mouse.
("cow" "eats" "mouse" "-")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse does not eat the squirrel.
("mouse" "eats" "squirrel" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
Nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something eats the bear then the bear is nice.
((("something" "eats" "bear" "+")) -> ("bear" "is" "nice" "+"))
If the bear eats the squirrel then the squirrel eats the bear.
((("bear" "eats" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
The cow is big.
True
1
proof
[(triple3)]
("cow" "is" "big" "+")
triple3
The cow is not round.
False
1
inv-proof
[(triple6)]
("cow" "is" "round" "-")
triple6
The bear is nice.
True
2
proof
[(((triple7) -> rule2))]
("bear" "is" "nice" "+")
((triple7) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not nice.
False
2
inv-proof
[(((triple7) -> rule2))]
("bear" "is" "nice" "-")
((triple7) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
True
3
proof
[(((((triple7) -> rule2)) -> rule1))]
("bear" "is" "red" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is not red.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule1))]
("bear" "is" "red" "-")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "red" "-")
The mouse is red.
Unknown
rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "red" "+")
The squirrel does not eat the bear.
Unknown
inv-rconc
[@1: The squirrel eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "bear" "-")
The bear eats the cow.
Unknown
random
[@0: The bear eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cow" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The squirrel eats the mouse.
Unknown
random
[@0: The squirrel eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "mouse" "+")
@0: The bear is not big.[(triple1)] The cow does not eat the mouse.[(triple2)] The cow is big.[(triple3)] The cow is blue.[(triple4)] The cow is red.[(triple5)] The cow is round.[(triple6)] The mouse does not eat the squirrel.[(triple8)] The mouse does not like the cow.[(triple10)] The mouse eats the bear.[(triple7)] The mouse is blue.[(triple9)] The mouse visits the cow.[(triple11)] The squirrel is big.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel visits the cow.[(triple15)] @1: The bear is nice.[(((triple7) -> rule2))] @2: The bear is red.[(((((triple7) -> rule2)) -> rule1))]
The bear is not big.
("bear" "is" "big" "-")
triple1
The cow does not eat the mouse.
("cow" "eats" "mouse" "-")
triple2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The mouse does not eat the squirrel.
("mouse" "eats" "squirrel" "-")
triple8
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
triple10
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple9
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple15
The bear is nice.
("bear" "is" "nice" "+")
((triple7) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2