The cat eats the mouse. The cat is rough. The cat is round. The cat needs the mouse. The dog is rough. The dog needs the mouse. The dog visits the cat. The dog visits the mouse. The dog visits the rabbit. The mouse eats the rabbit. The mouse is blue. The mouse needs the dog. The mouse visits the rabbit. The rabbit eats the cat. The rabbit eats the mouse. If someone is blue then they visit the mouse.
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The dog is rough.
("dog" "is" "rough" "+")
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 dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
If someone is blue then they visit the mouse.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "mouse" "+"))
The mouse is blue.
True
1
proof
[(triple11)]
("mouse" "is" "blue" "+")
triple11
The cat is not round.
False
1
inv-proof
[(triple3)]
("cat" "is" "round" "-")
triple3
The mouse visits the mouse.
True
2
proof
[(((triple11) -> rule1))]
("mouse" "visits" "mouse" "+")
((triple11) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse does not visit the mouse.
False
2
inv-proof
[(((triple11) -> rule1))]
("mouse" "visits" "mouse" "-")
((triple11) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The cat does not visit the mouse.
Unknown
inv-rconc
[@1: The cat visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "mouse" "-")
The rabbit visits the mouse.
Unknown
rconc
[@1: The rabbit visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "mouse" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The mouse visits the dog.
Unknown
random
[@0: The mouse visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "dog" "+")
@0: The cat eats the mouse.[(triple1)] The cat is rough.[(triple2)] The cat is round.[(triple3)] The cat needs the mouse.[(triple4)] The dog is rough.[(triple5)] The dog needs the mouse.[(triple6)] The dog visits the cat.[(triple7)] The dog visits the mouse.[(triple8)] The dog visits the rabbit.[(triple9)] The mouse eats the rabbit.[(triple10)] The mouse is blue.[(triple11)] The mouse needs the dog.[(triple12)] The mouse visits the rabbit.[(triple13)] The rabbit eats the cat.[(triple14)] The rabbit eats the mouse.[(triple15)] @1: The mouse visits the mouse.[(((triple11) -> rule1))]
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple4
The dog is rough.
("dog" "is" "rough" "+")
triple5
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple6
The dog visits the cat.
("dog" "visits" "cat" "+")
triple7
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple8
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple9
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple12
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple13
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple14
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple15
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple11) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1