The bear is blue. The bear likes the lion. The bear needs the lion. The cow chases the mouse. The cow is blue. The cow likes the bear. The cow needs the lion. The lion needs the mouse. The mouse chases the bear. The mouse is rough. The mouse likes the lion. The mouse needs the bear. If something is big then it needs the lion. If something needs the cow and it needs the bear then it is big. If something is big then it likes the cow. If the mouse likes the bear and the bear needs the lion then the bear chases the cow. If something likes the lion then it needs the cow. Kind things are big.
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If something is big then it needs the lion.
((("something" "is" "big" "+")) -> ("something" "needs" "lion" "+"))
If something needs the cow and it needs the bear then it is big.
((("something" "needs" "cow" "+") ("something" "needs" "bear" "+")) -> ("something" "is" "big" "+"))
If something is big then it likes the cow.
((("something" "is" "big" "+")) -> ("something" "likes" "cow" "+"))
If the mouse likes the bear and the bear needs the lion then the bear chases the cow.
((("mouse" "likes" "bear" "+") ("bear" "needs" "lion" "+")) -> ("bear" "chases" "cow" "+"))
If something likes the lion then it needs the cow.
((("something" "likes" "lion" "+")) -> ("something" "needs" "cow" "+"))
Kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
The bear likes the lion.
True
1
proof
[(triple2)]
("bear" "likes" "lion" "+")
triple2
The cow does not chase the mouse.
False
1
inv-proof
[(triple4)]
("cow" "chases" "mouse" "-")
triple4
The bear needs the cow.
True
2
proof
[(((triple2) -> rule5))]
("bear" "needs" "cow" "+")
((triple2) -> (rule5 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The bear does not need the cow.
False
2
inv-proof
[(((triple2) -> rule5))]
("bear" "needs" "cow" "-")
((triple2) -> (rule5 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The mouse is big.
True
4
proof
[(((((triple11) -> rule5) triple12) -> rule2))]
("mouse" "is" "big" "+")
((((triple11) -> (rule5 % int2)) triple12) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int2
The mouse is not big.
False
4
inv-proof
[(((((triple11) -> rule5) triple12) -> rule2))]
("mouse" "is" "big" "-")
((((triple11) -> (rule5 % int2)) triple12) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int2
The lion does not need the lion.
Unknown
inv-rconc
[@2: The lion needs the lion.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("lion" "needs" "lion" "-")
The cow is big.
Unknown
rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "big" "+")
The bear does not like the cow.
Unknown
inv-rconc
[@2: The bear likes the cow.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bear" "likes" "cow" "-")
The mouse likes the bear.
Unknown
random
[@0: The mouse likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bear" "+")
The cow does not like the lion.
Unknown
inv-random
[@0: The cow likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "lion" "-")
The cow needs the mouse.
Unknown
random
[@0: The cow needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "mouse" "+")
@0: The bear is blue.[(triple1)] The bear likes the lion.[(triple2)] The bear needs the lion.[(triple3)] The cow chases the mouse.[(triple4)] The cow is blue.[(triple5)] The cow likes the bear.[(triple6)] The cow needs the lion.[(triple7)] The lion needs the mouse.[(triple8)] The mouse chases the bear.[(triple9)] The mouse is rough.[(triple10)] The mouse likes the lion.[(triple11)] The mouse needs the bear.[(triple12)] @1: The bear needs the cow.[(((triple2) -> rule5))] The mouse needs the cow.[(((triple11) -> rule5))] @2: The mouse is big.[(((((triple11) -> rule5) triple12) -> rule2))] @3: The mouse likes the cow.[(((((((triple11) -> rule5) triple12) -> rule2)) -> rule3))] The mouse needs the lion.[(((((((triple11) -> rule5) triple12) -> rule2)) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear likes the lion.
("bear" "likes" "lion" "+")
triple2
The bear needs the lion.
("bear" "needs" "lion" "+")
triple3
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow likes the bear.
("cow" "likes" "bear" "+")
triple6
The cow needs the lion.
("cow" "needs" "lion" "+")
triple7
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple8
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple11
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple12
The bear needs the cow.
("bear" "needs" "cow" "+")
((triple2) -> (rule5 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The mouse needs the cow.
("mouse" "needs" "cow" "+")
((triple11) -> (rule5 % int1))
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
((((triple11) -> (rule5 % int2)) triple12) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int2
The mouse likes the cow.
("mouse" "likes" "cow" "+")
((((((triple11) -> (rule5 % int3)) triple12) -> (rule2 % int2))) -> (rule3 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int3
The mouse needs the lion.
("mouse" "needs" "lion" "+")
((((((triple11) -> (rule5 % int3)) triple12) -> (rule2 % int2))) -> (rule1 % int1))
The mouse needs the lion.
("mouse" "needs" "lion" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int3