The dog is big. The dog needs the mouse. The dog needs the rabbit. The dog sees the rabbit. The dog visits the rabbit. The mouse is big. The mouse is kind. The mouse is nice. The mouse is rough. The mouse needs the dog. The mouse sees the dog. The mouse visits the rabbit. The rabbit is kind. The rabbit needs the dog. The rabbit needs the mouse. The rabbit visits the mouse. If the rabbit visits the dog and the rabbit is big then the dog is rough. If someone is kind and they visit the rabbit then they see the mouse. If someone visits the rabbit and they visit the mouse then the rabbit visits the dog. If the mouse is nice and the mouse needs the dog then the mouse sees the dog. If someone visits the mouse then the mouse sees the rabbit. If someone sees the rabbit and the rabbit visits the dog then the dog needs the mouse.
The dog is big.
("dog" "is" "big" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If the rabbit visits the dog and the rabbit is big then the dog is rough.
((("rabbit" "visits" "dog" "+") ("rabbit" "is" "big" "+")) -> ("dog" "is" "rough" "+"))
If someone is kind and they visit the rabbit then they see the mouse.
((("someone" "is" "kind" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "sees" "mouse" "+"))
If someone visits the rabbit and they visit the mouse then the rabbit visits the dog.
((("someone" "visits" "rabbit" "+") ("someone" "visits" "mouse" "+")) -> ("rabbit" "visits" "dog" "+"))
If the mouse is nice and the mouse needs the dog then the mouse sees the dog.
((("mouse" "is" "nice" "+") ("mouse" "needs" "dog" "+")) -> ("mouse" "sees" "dog" "+"))
If someone visits the mouse then the mouse sees the rabbit.
((("someone" "visits" "mouse" "+")) -> ("mouse" "sees" "rabbit" "+"))
If someone sees the rabbit and the rabbit visits the dog then the dog needs the mouse.
((("someone" "sees" "rabbit" "+") ("rabbit" "visits" "dog" "+")) -> ("dog" "needs" "mouse" "+"))
The mouse is rough.
True
1
proof
[(triple9)]
("mouse" "is" "rough" "+")
triple9
The dog does not need the mouse.
False
1
inv-proof
[(triple2)]
("dog" "needs" "mouse" "-")
triple2
The dog does not see the mouse.
Unknown
inv-rconc
[@1: The dog sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "sees" "mouse" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The dog is big.[(triple1)] The dog needs the mouse.[(triple2)] The dog needs the rabbit.[(triple3)] The dog sees the rabbit.[(triple4)] The dog visits the rabbit.[(triple5)] The mouse is big.[(triple6)] The mouse is kind.[(triple7)] The mouse is nice.[(triple8)] The mouse is rough.[(triple9)] The mouse needs the dog.[(triple10)] The mouse sees the dog.[(triple11 OR ((triple8 triple10) -> rule4))] The mouse visits the rabbit.[(triple12)] The rabbit is kind.[(triple13)] The rabbit needs the dog.[(triple14)] The rabbit needs the mouse.[(triple15)] The rabbit visits the mouse.[(triple16)] @1: The mouse sees the mouse.[(((triple7 triple12) -> rule2))] The mouse sees the rabbit.[(((triple16) -> rule5))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple2
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple3
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple10
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple11
((triple8 triple10) -> (rule4 % int1))
The mouse sees the dog.
("mouse" "sees" "dog" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple12
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple13
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple14
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple15
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple16
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple7 triple12) -> (rule2 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
((triple16) -> (rule5 % int1))
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int1