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