The dog eats the mouse. The dog is round. The dog likes the mouse. The mouse eats the dog. The mouse is big. The mouse is cold. The mouse likes the dog. The mouse sees the dog. The squirrel eats the dog. The squirrel eats the mouse. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel sees the mouse. If something eats the mouse and the mouse is big then it sees the squirrel. If something is kind and it likes the dog then the dog is big. If something sees the mouse and it eats the dog then the mouse eats the squirrel. If something eats the squirrel and it likes the squirrel then it eats the mouse. If something sees the mouse then the mouse likes the squirrel. Kind things are round.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If something eats the mouse and the mouse is big then it sees the squirrel.
((("something" "eats" "mouse" "+") ("mouse" "is" "big" "+")) -> ("something" "sees" "squirrel" "+"))
If something is kind and it likes the dog then the dog is big.
((("something" "is" "kind" "+") ("something" "likes" "dog" "+")) -> ("dog" "is" "big" "+"))
If something sees the mouse and it eats the dog then the mouse eats the squirrel.
((("something" "sees" "mouse" "+") ("something" "eats" "dog" "+")) -> ("mouse" "eats" "squirrel" "+"))
If something eats the squirrel and it likes the squirrel then it eats the mouse.
((("something" "eats" "squirrel" "+") ("something" "likes" "squirrel" "+")) -> ("something" "eats" "mouse" "+"))
If something sees the mouse then the mouse likes the squirrel.
((("something" "sees" "mouse" "+")) -> ("mouse" "likes" "squirrel" "+"))
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
The mouse eats the dog.
True
1
proof
[(triple4)]
("mouse" "eats" "dog" "+")
triple4
The squirrel is not rough.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "rough" "-")
triple13
The squirrel sees the squirrel.
True
3
proof
[(((triple10 triple5) -> rule1))]
("squirrel" "sees" "squirrel" "+")
((triple10 triple5) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel does not see the squirrel.
False
3
inv-proof
[(((triple10 triple5) -> rule1))]
("squirrel" "sees" "squirrel" "-")
((triple10 triple5) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The mouse eats the mouse.
True
6
proof
[(((((triple15 triple9) -> rule3) ((triple15) -> rule5)) -> rule4))]
("mouse" "eats" "mouse" "+")
((((triple15 triple9) -> (rule3 % int3)) ((triple15) -> (rule5 % int2))) -> (rule4 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int3
The mouse does not eat the mouse.
False
6
inv-proof
[(((((triple15 triple9) -> rule3) ((triple15) -> rule5)) -> rule4))]
("mouse" "eats" "mouse" "-")
((((triple15 triple9) -> (rule3 % int3)) ((triple15) -> (rule5 % int2))) -> (rule4 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int3
The mouse sees the squirrel.
True
8
proof
[(((((((triple15 triple9) -> rule3) ((triple15) -> rule5)) -> rule4) triple5) -> rule1))]
("mouse" "sees" "squirrel" "+")
((((((triple15 triple9) -> (rule3 % int4)) ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int4
The mouse does not see the squirrel.
False
8
inv-proof
[(((((((triple15 triple9) -> rule3) ((triple15) -> rule5)) -> rule4) triple5) -> rule1))]
("mouse" "sees" "squirrel" "-")
((((((triple15 triple9) -> (rule3 % int4)) ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int4
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "round" "-")
The dog is big.
Unknown
rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "big" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The dog does not eat the squirrel.
Unknown
inv-random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The dog eats the mouse.[(triple1)] The dog is round.[(triple2)] The dog likes the mouse.[(triple3)] The mouse eats the dog.[(triple4)] The mouse is big.[(triple5)] The mouse is cold.[(triple6)] The mouse likes the dog.[(triple7)] The mouse sees the dog.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14 OR ((triple12) -> rule6))] The squirrel sees the mouse.[(triple15)] @1: The dog sees the squirrel.[(((triple1 triple5) -> rule1))] The mouse eats the squirrel.[(((triple15 triple9) -> rule3))] The mouse likes the squirrel.[(((triple15) -> rule5))] The squirrel sees the squirrel.[(((triple10 triple5) -> rule1))] @2: The mouse eats the mouse.[(((((triple15 triple9) -> rule3) ((triple15) -> rule5)) -> rule4))] @3: The mouse sees the squirrel.[(((((((triple15 triple9) -> rule3) ((triple15) -> rule5)) -> rule4) triple5) -> rule1))]
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
triple2
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple3
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple7
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple8
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
((triple12) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple15
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
((triple1 triple5) -> (rule1 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
((triple15 triple9) -> (rule3 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
((triple15) -> (rule5 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple10 triple5) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((((triple15 triple9) -> (rule3 % int3)) ((triple15) -> (rule5 % int2))) -> (rule4 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int3
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
((((((triple15 triple9) -> (rule3 % int4)) ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int4