The dog chases the rabbit. The dog is red. The dog likes the rabbit. The mouse chases the dog. The mouse chases the rabbit. The mouse is big. The mouse is nice. The mouse likes the dog. The mouse needs the dog. The mouse needs the rabbit. The rabbit is nice. The rabbit is rough. The rabbit likes the mouse. The rabbit needs the dog. The squirrel chases the mouse. The squirrel likes the mouse. If something is nice then it likes the squirrel. If something likes the dog and it likes the squirrel then the squirrel is kind.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If something is nice then it likes the squirrel.
((("something" "is" "nice" "+")) -> ("something" "likes" "squirrel" "+"))
If something likes the dog and it likes the squirrel then the squirrel is kind.
((("something" "likes" "dog" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
The mouse is big.
True
1
proof
[(triple6)]
("mouse" "is" "big" "+")
triple6
The mouse does not need the rabbit.
False
1
inv-proof
[(triple10)]
("mouse" "needs" "rabbit" "-")
triple10
The mouse likes the squirrel.
True
2
proof
[(((triple7) -> rule1))]
("mouse" "likes" "squirrel" "+")
((triple7) -> (rule1 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The rabbit does not like the squirrel.
False
2
inv-proof
[(((triple11) -> rule1))]
("rabbit" "likes" "squirrel" "-")
((triple11) -> (rule1 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The squirrel is kind.
True
4
proof
[(((triple8 ((triple7) -> rule1)) -> rule2))]
("squirrel" "is" "kind" "+")
((triple8 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The squirrel is not kind.
False
4
inv-proof
[(((triple8 ((triple7) -> rule1)) -> rule2))]
("squirrel" "is" "kind" "-")
((triple8 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The dog likes the squirrel.
Unknown
rconc
[@1: The dog likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "squirrel" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The mouse needs the squirrel.
Unknown
random
[@0: The mouse needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "squirrel" "+")
The dog does not chase the mouse.
Unknown
inv-random
[@0: The dog chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "mouse" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
@0: The dog chases the rabbit.[(triple1)] The dog is red.[(triple2)] The dog likes the rabbit.[(triple3)] The mouse chases the dog.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse is big.[(triple6)] The mouse is nice.[(triple7)] The mouse likes the dog.[(triple8)] The mouse needs the dog.[(triple9)] The mouse needs the rabbit.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is rough.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit needs the dog.[(triple14)] The squirrel chases the mouse.[(triple15)] The squirrel likes the mouse.[(triple16)] @1: The mouse likes the squirrel.[(((triple7) -> rule1))] The rabbit likes the squirrel.[(((triple11) -> rule1))] @2: The squirrel is kind.[(((triple8 ((triple7) -> rule1)) -> rule2))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple3
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple4
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple8
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple9
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple12
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple13
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple14
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple15
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple16
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
((triple7) -> (rule1 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
((triple11) -> (rule1 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple8 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2