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