The dog chases the squirrel. The dog sees the rabbit. The rabbit likes the dog. The squirrel is young. The squirrel likes the dog. The squirrel sees the dog. The squirrel sees the rabbit. If something is young then it chases the dog. If the dog likes the rabbit and the dog sees the squirrel then the squirrel is kind. If something sees the dog and the dog sees the rabbit then the rabbit is young.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something is young then it chases the dog.
((("something" "is" "young" "+")) -> ("something" "chases" "dog" "+"))
If the dog likes the rabbit and the dog sees the squirrel then the squirrel is kind.
((("dog" "likes" "rabbit" "+") ("dog" "sees" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If something sees the dog and the dog sees the rabbit then the rabbit is young.
((("something" "sees" "dog" "+") ("dog" "sees" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
The dog sees the rabbit.
True
1
proof
[(triple2)]
("dog" "sees" "rabbit" "+")
triple2
The dog does not see the rabbit.
False
1
inv-proof
[(triple2)]
("dog" "sees" "rabbit" "-")
triple2
The squirrel chases the dog.
True
2
proof
[(((triple4) -> rule1))]
("squirrel" "chases" "dog" "+")
((triple4) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The rabbit is not young.
False
3
inv-proof
[(((triple6 triple2) -> rule3))]
("rabbit" "is" "young" "-")
((triple6 triple2) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit chases the dog.
True
4
proof
[(((((triple6 triple2) -> rule3)) -> rule1))]
("rabbit" "chases" "dog" "+")
((((triple6 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit does not chase the dog.
False
4
inv-proof
[(((((triple6 triple2) -> rule3)) -> rule1))]
("rabbit" "chases" "dog" "-")
((((triple6 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "dog" "-")
The squirrel is kind.
Unknown
rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "kind" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The dog likes the rabbit.
Unknown
random
[@0: The dog likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "rabbit" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The dog chases the squirrel.[(triple1)] The dog sees the rabbit.[(triple2)] The rabbit likes the dog.[(triple3)] The squirrel is young.[(triple4)] The squirrel likes the dog.[(triple5)] The squirrel sees the dog.[(triple6)] The squirrel sees the rabbit.[(triple7)] @1: The rabbit is young.[(((triple6 triple2) -> rule3))] The squirrel chases the dog.[(((triple4) -> rule1))] @2: The rabbit chases the dog.[(((((triple6 triple2) -> rule3)) -> rule1))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple3
The squirrel is young.
("squirrel" "is" "young" "+")
triple4
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple5
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple6
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
((triple6 triple2) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple4) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
((((triple6 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2