The bear does not eat the squirrel. The bear is not green. The bear is kind. The bear is rough. The bear likes the cat. The bear sees the cat. The bear sees the squirrel. The cat is round. The cat likes the bear. The cat likes the squirrel. The mouse does not eat the bear. The mouse likes the bear. The squirrel eats the cat. The squirrel eats the mouse. The squirrel is rough. The squirrel does not see the bear. If someone is red then they see the mouse. If the bear likes the cat and the squirrel does not eat the bear then the bear sees the mouse. If someone sees the mouse and the mouse is round then they are round. If someone is rough then they are round. If someone sees the mouse and the mouse likes the bear then the mouse does not like the squirrel. If someone eats the cat then the cat is red. If someone eats the bear then the bear does not eat the mouse. If the mouse eats the cat and the mouse sees the bear then the mouse is kind.
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The bear is not green.
("bear" "is" "green" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel does not see the bear.
("squirrel" "sees" "bear" "-")
If someone is red then they see the mouse.
((("someone" "is" "red" "+")) -> ("someone" "sees" "mouse" "+"))
If the bear likes the cat and the squirrel does not eat the bear then the bear sees the mouse.
((("bear" "likes" "cat" "+") ("squirrel" "eats" "bear" "~")) -> ("bear" "sees" "mouse" "+"))
If someone sees the mouse and the mouse is round then they are round.
((("someone" "sees" "mouse" "+") ("mouse" "is" "round" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone sees the mouse and the mouse likes the bear then the mouse does not like the squirrel.
((("someone" "sees" "mouse" "+") ("mouse" "likes" "bear" "+")) -> ("mouse" "likes" "squirrel" "-"))
If someone eats the cat then the cat is red.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "red" "+"))
If someone eats the bear then the bear does not eat the mouse.
((("someone" "eats" "bear" "+")) -> ("bear" "eats" "mouse" "-"))
If the mouse eats the cat and the mouse sees the bear then the mouse is kind.
((("mouse" "eats" "cat" "+") ("mouse" "sees" "bear" "+")) -> ("mouse" "is" "kind" "+"))
The bear likes the cat.
True
1
proof
[(triple5)]
("bear" "likes" "cat" "+")
triple5
The bear is not rough.
False
1
inv-proof
[(triple4)]
("bear" "is" "rough" "-")
triple4
The bear is round.
True
2
proof
[(((triple4) -> rule4))]
("bear" "is" "round" "+")
((triple4) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple15) -> rule4))]
("squirrel" "is" "round" "-")
((triple15) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The cat sees the mouse.
True
3
proof
[(((((triple13) -> rule6)) -> rule1))]
("cat" "sees" "mouse" "+")
((((triple13) -> (rule6 % int2))) -> (rule1 % int1))
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat does not see the mouse.
False
3
inv-proof
[(((((triple13) -> rule6)) -> rule1))]
("cat" "sees" "mouse" "-")
((((triple13) -> (rule6 % int2))) -> (rule1 % int1))
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The mouse does not like the squirrel.
True
5
proof
[(((((((triple13) -> rule6)) -> rule1) triple12) -> rule5))]
("mouse" "likes" "squirrel" "-")
((((((triple13) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule5 % int1))
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
int1
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The mouse likes the squirrel.
False
5
inv-proof
[(((((((triple13) -> rule6)) -> rule1) triple12) -> rule5))]
("mouse" "likes" "squirrel" "+")
((((((triple13) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule5 % int1))
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
int1
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The mouse is not round.
Unknown
inv-rconc
[@2: The mouse is round.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("mouse" "is" "round" "-")
The squirrel sees the mouse.
Unknown
rconc
[@1: The squirrel sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "mouse" "+")
The mouse is not kind.
Unknown
inv-rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "is" "kind" "-")
The mouse sees the mouse.
Unknown
rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "mouse" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The cat sees the bear.
Unknown
random
[@0: The cat sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bear" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The bear does not eat the squirrel.[(triple1)] The bear is kind.[(triple3)] The bear is not green.[(triple2)] The bear is rough.[(triple4)] The bear likes the cat.[(triple5)] The bear sees the cat.[(triple6)] The bear sees the squirrel.[(triple7)] The cat is round.[(triple8)] The cat likes the bear.[(triple9)] The cat likes the squirrel.[(triple10)] The mouse does not eat the bear.[(triple11)] The mouse likes the bear.[(triple12)] The squirrel does not see the bear.[(triple16)] The squirrel eats the cat.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel is rough.[(triple15)] @1: The bear is round.[(((triple4) -> rule4))] The cat is red.[(((triple13) -> rule6))] The squirrel is round.[(((triple15) -> rule4))] @2: The cat sees the mouse.[(((((triple13) -> rule6)) -> rule1))] @3: The mouse does not like the squirrel.[(((((((triple13) -> rule6)) -> rule1) triple12) -> rule5))]
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is not green.
("bear" "is" "green" "-")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
triple5
The bear sees the cat.
("bear" "sees" "cat" "+")
triple6
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The cat likes the bear.
("cat" "likes" "bear" "+")
triple9
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple10
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
triple11
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple12
The squirrel does not see the bear.
("squirrel" "sees" "bear" "-")
triple16
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple13
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple14
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple15
The bear is round.
("bear" "is" "round" "+")
((triple4) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The cat is red.
("cat" "is" "red" "+")
((triple13) -> (rule6 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple15) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The cat sees the mouse.
("cat" "sees" "mouse" "+")
((((triple13) -> (rule6 % int2))) -> (rule1 % int1))
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
((((((triple13) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule5 % int1))
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
int1
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3