The cow is big. The cow is green. The cow sees the mouse. The mouse is big. The mouse is blue. The mouse is round. The mouse likes the squirrel. The mouse sees the cow. The mouse sees the squirrel. The squirrel is green. The squirrel likes the mouse. The squirrel sees the cow. If someone is blue then they like the squirrel. If the mouse likes the squirrel and the mouse is round then the squirrel is green. If the squirrel is green and the squirrel is round then the squirrel is cold. If someone is green then they like the mouse. Round people are cold. If someone sees the cow then the cow is big.
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone is blue then they like the squirrel.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "squirrel" "+"))
If the mouse likes the squirrel and the mouse is round then the squirrel is green.
((("mouse" "likes" "squirrel" "+") ("mouse" "is" "round" "+")) -> ("squirrel" "is" "green" "+"))
If the squirrel is green and the squirrel is round then the squirrel is cold.
((("squirrel" "is" "green" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "is" "cold" "+"))
If someone is green then they like the mouse.
((("someone" "is" "green" "+")) -> ("someone" "likes" "mouse" "+"))
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone sees the cow then the cow is big.
((("someone" "sees" "cow" "+")) -> ("cow" "is" "big" "+"))
The mouse is round.
True
1
proof
[(triple6)]
("mouse" "is" "round" "+")
triple6
The squirrel does not like the mouse.
False
1
inv-proof
[(triple11 OR ((triple10) -> rule4) OR ((((triple7 triple6) -> rule2)) -> rule4) OR ((((((triple5) -> rule1) triple6) -> rule2)) -> rule4))]
("squirrel" "likes" "mouse" "-")
triple11
((triple10) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
((((triple7 triple6) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((((triple5) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse is cold.
True
2
proof
[(((triple6) -> rule5))]
("mouse" "is" "cold" "+")
((triple6) -> (rule5 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is not cold.
False
2
inv-proof
[(((triple6) -> rule5))]
("mouse" "is" "cold" "-")
((triple6) -> (rule5 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The cow likes the squirrel.
Unknown
rconc
[@1: The cow likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "squirrel" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The cow is big.[(triple1 OR ((triple12) -> rule6) OR ((triple8) -> rule6))] The cow is green.[(triple2)] The cow sees the mouse.[(triple3)] The mouse is big.[(triple4)] The mouse is blue.[(triple5)] The mouse is round.[(triple6)] The mouse likes the squirrel.[(triple7 OR ((triple5) -> rule1))] The mouse sees the cow.[(triple8)] The mouse sees the squirrel.[(triple9)] The squirrel is green.[(triple10 OR ((triple7 triple6) -> rule2) OR ((((triple5) -> rule1) triple6) -> rule2))] The squirrel likes the mouse.[(triple11 OR ((triple10) -> rule4) OR ((((triple7 triple6) -> rule2)) -> rule4) OR ((((((triple5) -> rule1) triple6) -> rule2)) -> rule4))] The squirrel sees the cow.[(triple12)] @1: The cow likes the mouse.[(((triple2) -> rule4))] The mouse is cold.[(((triple6) -> rule5))]
The cow is big.
("cow" "is" "big" "+")
triple1
((triple12) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple8) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple7
((triple5) -> (rule1 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple8
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
((triple7 triple6) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((((triple5) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple11
((triple10) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
((((triple7 triple6) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((((triple5) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple12
The cow likes the mouse.
("cow" "likes" "mouse" "+")
((triple2) -> (rule4 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
((triple6) -> (rule5 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1