The bear is rough. The bear sees the rabbit. The bear sees the squirrel. The rabbit chases the bear. The squirrel is kind. The squirrel is round. The squirrel sees the rabbit. If something eats the rabbit and it chases the bear then the bear sees the squirrel. If something eats the rabbit and the rabbit sees the squirrel then the rabbit eats the bear. Kind, round things are cold. If something chases the squirrel and the squirrel chases the rabbit then the rabbit sees the squirrel. If something eats the squirrel and the squirrel is kind then it sees the squirrel. If something eats the squirrel and it is blue then it sees the rabbit. If something eats the bear and the bear sees the rabbit then the rabbit is rough. If something chases the squirrel and it is blue then the squirrel is blue.
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something eats the rabbit and it chases the bear then the bear sees the squirrel.
((("something" "eats" "rabbit" "+") ("something" "chases" "bear" "+")) -> ("bear" "sees" "squirrel" "+"))
If something eats the rabbit and the rabbit sees the squirrel then the rabbit eats the bear.
((("something" "eats" "rabbit" "+") ("rabbit" "sees" "squirrel" "+")) -> ("rabbit" "eats" "bear" "+"))
Kind, round things are cold.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something chases the squirrel and the squirrel chases the rabbit then the rabbit sees the squirrel.
((("something" "chases" "squirrel" "+") ("squirrel" "chases" "rabbit" "+")) -> ("rabbit" "sees" "squirrel" "+"))
If something eats the squirrel and the squirrel is kind then it sees the squirrel.
((("something" "eats" "squirrel" "+") ("squirrel" "is" "kind" "+")) -> ("something" "sees" "squirrel" "+"))
If something eats the squirrel and it is blue then it sees the rabbit.
((("something" "eats" "squirrel" "+") ("something" "is" "blue" "+")) -> ("something" "sees" "rabbit" "+"))
If something eats the bear and the bear sees the rabbit then the rabbit is rough.
((("something" "eats" "bear" "+") ("bear" "sees" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If something chases the squirrel and it is blue then the squirrel is blue.
((("something" "chases" "squirrel" "+") ("something" "is" "blue" "+")) -> ("squirrel" "is" "blue" "+"))
The squirrel sees the rabbit.
True
1
proof
[(triple7)]
("squirrel" "sees" "rabbit" "+")
triple7
The squirrel is not kind.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "kind" "-")
triple5
The squirrel is cold.
True
3
proof
[(((triple5 triple6) -> rule3))]
("squirrel" "is" "cold" "+")
((triple5 triple6) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not cold.
False
3
inv-proof
[(((triple5 triple6) -> rule3))]
("squirrel" "is" "cold" "-")
((triple5 triple6) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The rabbit is not rough.
Unknown
inv-rconc
[@2: The rabbit is rough.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("rabbit" "is" "rough" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "cold" "+")
The rabbit does not eat the squirrel.
Unknown
inv-random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "-")
The squirrel eats the rabbit.
Unknown
random
[@0: The squirrel eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "rabbit" "+")
@0: The bear is rough.[(triple1)] The bear sees the rabbit.[(triple2)] The bear sees the squirrel.[(triple3)] The rabbit chases the bear.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is round.[(triple6)] The squirrel sees the rabbit.[(triple7)] @1: The squirrel is cold.[(((triple5 triple6) -> rule3))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple4
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple5
The squirrel is round.
("squirrel" "is" "round" "+")
triple6
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple5 triple6) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1