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