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