The dog is green. The dog needs the mouse. The dog visits the mouse. The dog visits the rabbit. The mouse eats the dog. The mouse is big. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit is green. The rabbit is red. The rabbit needs the dog. The rabbit needs the mouse. If someone needs the rabbit then the rabbit eats the dog.
The dog is green.
("dog" "is" "green" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If someone needs the rabbit then the rabbit eats the dog.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "eats" "dog" "+"))
The rabbit needs the dog.
True
1
proof
[(triple11)]
("rabbit" "needs" "dog" "+")
triple11
The mouse is not big.
False
1
inv-proof
[(triple6)]
("mouse" "is" "big" "-")
triple6
The rabbit eats the dog.
True
2
proof
[(((triple7) -> rule1))]
("rabbit" "eats" "dog" "+")
((triple7) -> (rule1 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit does not eat the dog.
False
2
inv-proof
[(((triple7) -> rule1))]
("rabbit" "eats" "dog" "-")
((triple7) -> (rule1 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit does not eat the mouse.
Unknown
inv-random
[@0: The rabbit eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "mouse" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
The rabbit does not visit the dog.
Unknown
inv-random
[@0: The rabbit visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "dog" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The dog is green.[(triple1)] The dog needs the mouse.[(triple2)] The dog visits the mouse.[(triple3)] The dog visits the rabbit.[(triple4)] The mouse eats the dog.[(triple5)] The mouse is big.[(triple6)] The mouse needs the rabbit.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit is green.[(triple9)] The rabbit is red.[(triple10)] The rabbit needs the dog.[(triple11)] The rabbit needs the mouse.[(triple12)] @1: The rabbit eats the dog.[(((triple7) -> rule1))]
The dog is green.
("dog" "is" "green" "+")
triple1
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple2
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple4
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple7
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is red.
("rabbit" "is" "red" "+")
triple10
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple11
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple12
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
((triple7) -> (rule1 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1