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