The bear eats the cow. The bear is big. The bear is red. The bear sees the cow. The bear sees the mouse. The cow eats the bear. The cow eats the mouse. The cow is big. The cow is cold. The cow is young. The mouse is big. The mouse is cold. The mouse is nice. The mouse is red. The mouse needs the bear. The mouse sees the bear. If someone needs the cow then they are not cold. If someone is big then they are young. If someone sees the bear then they see the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is young.
("cow" "is" "young" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If someone needs the cow then they are not cold.
((("someone" "needs" "cow" "+")) -> ("someone" "is" "cold" "-"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone sees the bear then they see the cow.
((("someone" "sees" "bear" "+")) -> ("someone" "sees" "cow" "+"))
The bear is big.
True
1
proof
[(triple2)]
("bear" "is" "big" "+")
triple2
The bear is not red.
False
1
inv-proof
[(triple3)]
("bear" "is" "red" "-")
triple3
The mouse sees the cow.
True
2
proof
[(((triple16) -> rule3))]
("mouse" "sees" "cow" "+")
((triple16) -> (rule3 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse does not see the cow.
False
2
inv-proof
[(((triple16) -> rule3))]
("mouse" "sees" "cow" "-")
((triple16) -> (rule3 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The cow does not see the cow.
Unknown
inv-rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "sees" "cow" "-")
The cow needs the mouse.
Unknown
random
[@0: The cow needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "mouse" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The bear needs the mouse.
Unknown
random
[@0: The bear needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "mouse" "+")
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is red.[(triple3)] The bear sees the cow.[(triple4)] The bear sees the mouse.[(triple5)] The cow eats the bear.[(triple6)] The cow eats the mouse.[(triple7)] The cow is big.[(triple8)] The cow is cold.[(triple9)] The cow is young.[(triple10 OR ((triple8) -> rule2))] The mouse is big.[(triple11)] The mouse is cold.[(triple12)] The mouse is nice.[(triple13)] The mouse is red.[(triple14)] The mouse needs the bear.[(triple15)] The mouse sees the bear.[(triple16)] @1: The bear is young.[(((triple2) -> rule2))] The mouse is young.[(((triple11) -> rule2))] The mouse sees the cow.[(((triple16) -> rule3))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple4
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple5
The cow eats the bear.
("cow" "eats" "bear" "+")
triple6
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple7
The cow is big.
("cow" "is" "big" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow is young.
("cow" "is" "young" "+")
triple10
((triple8) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple11
The mouse is cold.
("mouse" "is" "cold" "+")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse is red.
("mouse" "is" "red" "+")
triple14
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple15
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple16
The bear is young.
("bear" "is" "young" "+")
((triple2) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
((triple11) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
((triple16) -> (rule3 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1