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