The cat is blue. The cat likes the dog. The cat needs the dog. The cat visits the dog. The cat visits the rabbit. The dog is rough. The dog likes the cat. The dog needs the mouse. The dog visits the cat. The dog visits the mouse. The mouse is round. The mouse needs the cat. The mouse visits the dog. The rabbit is kind. The rabbit likes the mouse. The rabbit needs the cat. If someone needs the mouse then the mouse is blue.
The cat is blue.
("cat" "is" "blue" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If someone needs the mouse then the mouse is blue.
((("someone" "needs" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
The dog needs the mouse.
True
1
proof
[(triple8)]
("dog" "needs" "mouse" "+")
triple8
The rabbit does not like the mouse.
False
1
inv-proof
[(triple15)]
("rabbit" "likes" "mouse" "-")
triple15
The mouse is blue.
True
2
proof
[(((triple8) -> rule1))]
("mouse" "is" "blue" "+")
((triple8) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is not blue.
False
2
inv-proof
[(((triple8) -> rule1))]
("mouse" "is" "blue" "-")
((triple8) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The rabbit needs the dog.
Unknown
random
[@0: The rabbit needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "dog" "+")
@0: The cat is blue.[(triple1)] The cat likes the dog.[(triple2)] The cat needs the dog.[(triple3)] The cat visits the dog.[(triple4)] The cat visits the rabbit.[(triple5)] The dog is rough.[(triple6)] The dog likes the cat.[(triple7)] The dog needs the mouse.[(triple8)] The dog visits the cat.[(triple9)] The dog visits the mouse.[(triple10)] The mouse is round.[(triple11)] The mouse needs the cat.[(triple12)] The mouse visits the dog.[(triple13)] The rabbit is kind.[(triple14)] The rabbit likes the mouse.[(triple15)] The rabbit needs the cat.[(triple16)] @1: The mouse is blue.[(((triple8) -> rule1))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat likes the dog.
("cat" "likes" "dog" "+")
triple2
The cat needs the dog.
("cat" "needs" "dog" "+")
triple3
The cat visits the dog.
("cat" "visits" "dog" "+")
triple4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog likes the cat.
("dog" "likes" "cat" "+")
triple7
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple8
The dog visits the cat.
("dog" "visits" "cat" "+")
triple9
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple10
The mouse is round.
("mouse" "is" "round" "+")
triple11
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple12
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple13
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple14
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple15
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple16
The mouse is blue.
("mouse" "is" "blue" "+")
((triple8) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1