The bald eagle chases the dog. The bald eagle chases the rabbit. The bald eagle is cold. The dog is big. The dog needs the bald eagle. The dog needs the rabbit. The dog sees the rabbit. The rabbit chases the dog. The rabbit needs the bald eagle. The rabbit sees the dog. If the rabbit chases the dog and the rabbit is big then the dog is big. If someone chases the bald eagle and they need the dog then they are cold. If someone is nice and they see the bald eagle then they are big. If someone chases the dog and the dog chases the bald eagle then the bald eagle needs the rabbit. If someone needs the rabbit then they chase the bald eagle. If someone sees the rabbit and they are nice then the rabbit sees the bald eagle.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The dog is big.
("dog" "is" "big" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If the rabbit chases the dog and the rabbit is big then the dog is big.
((("rabbit" "chases" "dog" "+") ("rabbit" "is" "big" "+")) -> ("dog" "is" "big" "+"))
If someone chases the bald eagle and they need the dog then they are cold.
((("someone" "chases" "bald eagle" "+") ("someone" "needs" "dog" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and they see the bald eagle then they are big.
((("someone" "is" "nice" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
If someone chases the dog and the dog chases the bald eagle then the bald eagle needs the rabbit.
((("someone" "chases" "dog" "+") ("dog" "chases" "bald eagle" "+")) -> ("bald eagle" "needs" "rabbit" "+"))
If someone needs the rabbit then they chase the bald eagle.
((("someone" "needs" "rabbit" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone sees the rabbit and they are nice then the rabbit sees the bald eagle.
((("someone" "sees" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
The dog sees the rabbit.
True
1
proof
[(triple7)]
("dog" "sees" "rabbit" "+")
triple7
The dog does not need the bald eagle.
False
1
inv-proof
[(triple5)]
("dog" "needs" "bald eagle" "-")
triple5
The dog chases the bald eagle.
True
2
proof
[(((triple6) -> rule5))]
("dog" "chases" "bald eagle" "+")
((triple6) -> (rule5 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog does not chase the bald eagle.
False
2
inv-proof
[(((triple6) -> rule5))]
("dog" "chases" "bald eagle" "-")
((triple6) -> (rule5 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
True
4
proof
[(((triple1 ((triple6) -> rule5)) -> rule4) OR ((triple8 ((triple6) -> rule5)) -> rule4))]
("bald eagle" "needs" "rabbit" "+")
((triple1 ((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
((triple8 ((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The bald eagle does not need the rabbit.
False
4
inv-proof
[(((triple1 ((triple6) -> rule5)) -> rule4) OR ((triple8 ((triple6) -> rule5)) -> rule4))]
("bald eagle" "needs" "rabbit" "-")
((triple1 ((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
((triple8 ((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The bald eagle chases the bald eagle.
True
5
proof
[(((((triple1 ((triple6) -> rule5)) -> rule4)) -> rule5) OR ((((triple8 ((triple6) -> rule5)) -> rule4)) -> rule5))]
("bald eagle" "chases" "bald eagle" "+")
((((triple1 ((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3
((((triple8 ((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3
The bald eagle does not chase the bald eagle.
False
5
inv-proof
[(((((triple1 ((triple6) -> rule5)) -> rule4)) -> rule5) OR ((((triple8 ((triple6) -> rule5)) -> rule4)) -> rule5))]
("bald eagle" "chases" "bald eagle" "-")
((((triple1 ((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3
((((triple8 ((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "cold" "-")
The rabbit chases the bald eagle.
Unknown
rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "chases" "bald eagle" "+")
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "big" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "big" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is cold.[(triple3)] The dog is big.[(triple4)] The dog needs the bald eagle.[(triple5)] The dog needs the rabbit.[(triple6)] The dog sees the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The dog chases the bald eagle.[(((triple6) -> rule5))] @2: The bald eagle needs the rabbit.[(((triple1 ((triple6) -> rule5)) -> rule4) OR ((triple8 ((triple6) -> rule5)) -> rule4))] @3: The bald eagle chases the bald eagle.[(((((triple1 ((triple6) -> rule5)) -> rule4)) -> rule5) OR ((((triple8 ((triple6) -> rule5)) -> rule4)) -> rule5))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple5
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple6
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple8
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple9
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple10
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
((triple6) -> (rule5 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
((triple1 ((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
((triple8 ((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple1 ((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3
((((triple8 ((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3