The bald eagle chases the cat. The bald eagle is big. The bald eagle is cold. The bald eagle is rough. The bald eagle sees the rabbit. The cat is green. The cat is rough. The cat likes the bald eagle. The cat likes the lion. The cat likes the rabbit. The cat sees the bald eagle. The lion likes the rabbit. The rabbit is cold. The rabbit likes the cat. The rabbit sees the cat. The rabbit sees the lion. All big things are rough. If something chases the lion and it likes the bald eagle then it sees the bald eagle. If something chases the bald eagle and it is rough then the bald eagle is green. If something chases the bald eagle and the bald eagle likes the cat then the bald eagle sees the lion. Green things are red. If the lion is rough and the lion chases the rabbit then the rabbit is big. If something is red and green then it chases the bald eagle. If something chases the rabbit then it sees the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If something chases the lion and it likes the bald eagle then it sees the bald eagle.
((("something" "chases" "lion" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "sees" "bald eagle" "+"))
If something chases the bald eagle and it is rough then the bald eagle is green.
((("something" "chases" "bald eagle" "+") ("something" "is" "rough" "+")) -> ("bald eagle" "is" "green" "+"))
If something chases the bald eagle and the bald eagle likes the cat then the bald eagle sees the lion.
((("something" "chases" "bald eagle" "+") ("bald eagle" "likes" "cat" "+")) -> ("bald eagle" "sees" "lion" "+"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If the lion is rough and the lion chases the rabbit then the rabbit is big.
((("lion" "is" "rough" "+") ("lion" "chases" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If something is red and green then it chases the bald eagle.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the rabbit then it sees the bald eagle.
((("something" "chases" "rabbit" "+")) -> ("something" "sees" "bald eagle" "+"))
The lion likes the rabbit.
True
1
proof
[(triple12)]
("lion" "likes" "rabbit" "+")
triple12
The bald eagle does not chase the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cat" "-")
triple1
The cat is red.
True
2
proof
[(((triple6) -> rule5))]
("cat" "is" "red" "+")
((triple6) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is not red.
False
2
inv-proof
[(((triple6) -> rule5))]
("cat" "is" "red" "-")
((triple6) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat chases the bald eagle.
True
4
proof
[(((((triple6) -> rule5) triple6) -> rule7))]
("cat" "chases" "bald eagle" "+")
((((triple6) -> (rule5 % int2)) triple6) -> (rule7 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat does not chase the bald eagle.
False
4
inv-proof
[(((((triple6) -> rule5) triple6) -> rule7))]
("cat" "chases" "bald eagle" "-")
((((triple6) -> (rule5 % int2)) triple6) -> (rule7 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The bald eagle is green.
True
6
proof
[(((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3))]
("bald eagle" "is" "green" "+")
((((((triple6) -> (rule5 % int3)) triple6) -> (rule7 % int2)) triple7) -> (rule3 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The bald eagle is not green.
False
6
inv-proof
[(((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3))]
("bald eagle" "is" "green" "-")
((((((triple6) -> (rule5 % int3)) triple6) -> (rule7 % int2)) triple7) -> (rule3 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The bald eagle is red.
True
7
proof
[(((((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3)) -> rule5))]
("bald eagle" "is" "red" "+")
((((((((triple6) -> (rule5 % int4)) triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The bald eagle is not red.
False
7
inv-proof
[(((((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3)) -> rule5))]
("bald eagle" "is" "red" "-")
((((((((triple6) -> (rule5 % int4)) triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The bald eagle chases the bald eagle.
True
14
proof
[(((((((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3)) -> rule5) ((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3)) -> rule7))]
("bald eagle" "chases" "bald eagle" "+")
((((((((((triple6) -> (rule5 % int5)) triple6) -> (rule7 % int4)) triple7) -> (rule3 % int3))) -> (rule5 % int2)) ((((((triple6) -> (rule5 % int5)) triple6) -> (rule7 % int4)) triple7) -> (rule3 % int3))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The bald eagle does not chase the bald eagle.
False
14
inv-proof
[(((((((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3)) -> rule5) ((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3)) -> rule7))]
("bald eagle" "chases" "bald eagle" "-")
((((((((((triple6) -> (rule5 % int5)) triple6) -> (rule7 % int4)) triple7) -> (rule3 % int3))) -> (rule5 % int2)) ((((((triple6) -> (rule5 % int5)) triple6) -> (rule7 % int4)) triple7) -> (rule3 % int3))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The rabbit chases the bald eagle.
Unknown
rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "chases" "bald eagle" "+")
The rabbit does not see the bald eagle.
Unknown
inv-rconc
[@1: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The lion sees the bald eagle.
Unknown
rconc
[@1: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "sees" "bald eagle" "+")
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "rough" "-")
The rabbit is red.
Unknown
rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "red" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The cat chases the rabbit.
Unknown
random
[@0: The cat chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "rabbit" "+")
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 rabbit likes the bald eagle.
Unknown
random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "+")
The lion does not like the cat.
Unknown
inv-random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple2) -> rule1))] The bald eagle sees the rabbit.[(triple5)] The cat is green.[(triple6)] The cat is rough.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat likes the lion.[(triple9)] The cat likes the rabbit.[(triple10)] The cat sees the bald eagle.[(triple11)] The lion likes the rabbit.[(triple12)] The rabbit is cold.[(triple13)] The rabbit likes the cat.[(triple14)] The rabbit sees the cat.[(triple15)] The rabbit sees the lion.[(triple16)] @1: The cat is red.[(((triple6) -> rule5))] @2: The cat chases the bald eagle.[(((((triple6) -> rule5) triple6) -> rule7))] @3: The bald eagle is green.[(((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3))] @4: The bald eagle is red.[(((((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3)) -> rule5))] @5: The bald eagle chases the bald eagle.[(((((((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3)) -> rule5) ((((((triple6) -> rule5) triple6) -> rule7) triple7) -> rule3)) -> rule7))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
((triple2) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple8
The cat likes the lion.
("cat" "likes" "lion" "+")
triple9
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple10
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple11
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple13
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple14
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple15
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple16
The cat is red.
("cat" "is" "red" "+")
((triple6) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((((triple6) -> (rule5 % int2)) triple6) -> (rule7 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((((triple6) -> (rule5 % int3)) triple6) -> (rule7 % int2)) triple7) -> (rule3 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((((((triple6) -> (rule5 % int4)) triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((((((triple6) -> (rule5 % int5)) triple6) -> (rule7 % int4)) triple7) -> (rule3 % int3))) -> (rule5 % int2)) ((((((triple6) -> (rule5 % int5)) triple6) -> (rule7 % int4)) triple7) -> (rule3 % int3))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5