The bald eagle chases the dog. The bald eagle is blue. The bald eagle is round. The bald eagle likes the lion. The bald eagle needs the lion. The dog chases the bald eagle. The dog is blue. The dog is cold. The dog likes the lion. The lion chases the dog. The lion is nice. The lion is round. The lion is young. The lion likes the bald eagle. The lion needs the bald eagle. The lion needs the dog. If something needs the bald eagle and it is cold then the bald eagle likes the lion. If the dog chases the bald eagle then the dog is young. If something chases the lion and it chases the bald eagle then the lion chases the dog. If something is nice then it chases the dog. If something likes the bald eagle and it chases the lion then the lion is cold. If something needs the lion and the lion needs the bald eagle then it is cold. If something chases the dog then it likes the dog. If something chases the dog then the dog is nice.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
If something needs the bald eagle and it is cold then the bald eagle likes the lion.
((("something" "needs" "bald eagle" "+") ("something" "is" "cold" "+")) -> ("bald eagle" "likes" "lion" "+"))
If the dog chases the bald eagle then the dog is young.
((("dog" "chases" "bald eagle" "+")) -> ("dog" "is" "young" "+"))
If something chases the lion and it chases the bald eagle then the lion chases the dog.
((("something" "chases" "lion" "+") ("something" "chases" "bald eagle" "+")) -> ("lion" "chases" "dog" "+"))
If something is nice then it chases the dog.
((("something" "is" "nice" "+")) -> ("something" "chases" "dog" "+"))
If something likes the bald eagle and it chases the lion then the lion is cold.
((("something" "likes" "bald eagle" "+") ("something" "chases" "lion" "+")) -> ("lion" "is" "cold" "+"))
If something needs the lion and the lion needs the bald eagle then it is cold.
((("something" "needs" "lion" "+") ("lion" "needs" "bald eagle" "+")) -> ("something" "is" "cold" "+"))
If something chases the dog then it likes the dog.
((("something" "chases" "dog" "+")) -> ("something" "likes" "dog" "+"))
If something chases the dog then the dog is nice.
((("something" "chases" "dog" "+")) -> ("dog" "is" "nice" "+"))
The dog likes the lion.
True
1
proof
[(triple9)]
("dog" "likes" "lion" "+")
triple9
The dog does not like the lion.
False
1
inv-proof
[(triple9)]
("dog" "likes" "lion" "-")
triple9
The dog is young.
True
2
proof
[(((triple6) -> rule2))]
("dog" "is" "young" "+")
((triple6) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The lion does not like the dog.
False
2
inv-proof
[(((triple10) -> rule7) OR ((((triple11) -> rule4)) -> rule7))]
("lion" "likes" "dog" "-")
((triple10) -> (rule7 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The lion chases the dog.
("lion" "chases" "dog" "+")
int2
The dog chases the dog.
True
3
proof
[(((((triple1) -> rule8)) -> rule4) OR ((((triple10) -> rule8)) -> rule4) OR ((((((triple11) -> rule4)) -> rule8)) -> rule4))]
("dog" "chases" "dog" "+")
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
((((triple10) -> (rule8 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
((((((triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion chases the dog.
("lion" "chases" "dog" "+")
int3
The dog does not chase the dog.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule4) OR ((((triple10) -> rule8)) -> rule4) OR ((((((triple11) -> rule4)) -> rule8)) -> rule4))]
("dog" "chases" "dog" "-")
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
((((triple10) -> (rule8 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
((((((triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion chases the dog.
("lion" "chases" "dog" "+")
int3
The dog likes the dog.
True
4
proof
[(((((((triple1) -> rule8)) -> rule4)) -> rule7) OR ((((((triple10) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple11) -> rule4)) -> rule8)) -> rule4)) -> rule7))]
("dog" "likes" "dog" "+")
((((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((((((((triple11) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The lion chases the dog.
("lion" "chases" "dog" "+")
int4
The dog does not like the dog.
False
4
inv-proof
[(((((((triple1) -> rule8)) -> rule4)) -> rule7) OR ((((((triple10) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple11) -> rule4)) -> rule8)) -> rule4)) -> rule7))]
("dog" "likes" "dog" "-")
((((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((((((((triple11) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The lion chases the dog.
("lion" "chases" "dog" "+")
int4
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "cold" "-")
The dog needs the bald eagle.
Unknown
random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The lion chases the bald eagle.
Unknown
random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "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 bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle needs the lion.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog is blue.[(triple7)] The dog is cold.[(triple8)] The dog likes the lion.[(triple9)] The lion chases the dog.[(triple10 OR ((triple11) -> rule4))] The lion is nice.[(triple11)] The lion is round.[(triple12)] The lion is young.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion needs the bald eagle.[(triple15)] The lion needs the dog.[(triple16)] @1: The bald eagle is cold.[(((triple5 triple15) -> rule6))] The bald eagle likes the dog.[(((triple1) -> rule7))] The dog is nice.[(((triple1) -> rule8) OR ((triple10) -> rule8) OR ((((triple11) -> rule4)) -> rule8))] The dog is young.[(((triple6) -> rule2))] The lion likes the dog.[(((triple10) -> rule7) OR ((((triple11) -> rule4)) -> rule7))] @2: The dog chases the dog.[(((((triple1) -> rule8)) -> rule4) OR ((((triple10) -> rule8)) -> rule4) OR ((((((triple11) -> rule4)) -> rule8)) -> rule4))] @3: The dog likes the dog.[(((((((triple1) -> rule8)) -> rule4)) -> rule7) OR ((((((triple10) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple11) -> rule4)) -> rule8)) -> rule4)) -> rule7))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog likes the lion.
("dog" "likes" "lion" "+")
triple9
The lion chases the dog.
("lion" "chases" "dog" "+")
triple10
((triple11) -> (rule4 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
triple13
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple14
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple15
The lion needs the dog.
("lion" "needs" "dog" "+")
triple16
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple5 triple15) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((triple1) -> (rule7 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((triple1) -> (rule8 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((triple10) -> (rule8 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule8 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion chases the dog.
("lion" "chases" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
((triple6) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
((triple10) -> (rule7 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The lion chases the dog.
("lion" "chases" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
((((triple10) -> (rule8 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
((((((triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion chases the dog.
("lion" "chases" "dog" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
((((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
((((((((triple11) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The lion chases the dog.
("lion" "chases" "dog" "+")
int4