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