The bald eagle chases the lion. The bald eagle needs the lion. The bald eagle needs the tiger. The bald eagle visits the dog. The bald eagle visits the lion. The dog chases the bald eagle. The dog chases the tiger. The dog needs the tiger. The dog visits the bald eagle. The dog visits the tiger. The lion is blue. The lion needs the bald eagle. The lion needs the tiger. The lion visits the bald eagle. The lion visits the tiger. The tiger chases the lion. If someone needs the dog then they are nice. If someone needs the tiger and they visit the bald eagle then the bald eagle needs the dog. If the lion visits the bald eagle then the bald eagle chases the tiger. If someone needs the lion then they are rough. If someone is red then they visit the tiger. If the dog needs the bald eagle then the dog chases the lion. If someone visits the bald eagle and the bald eagle is round then they are red. If someone chases the tiger then they are red.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
If someone needs the dog then they are nice.
((("someone" "needs" "dog" "+")) -> ("someone" "is" "nice" "+"))
If someone needs the tiger and they visit the bald eagle then the bald eagle needs the dog.
((("someone" "needs" "tiger" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
If the lion visits the bald eagle then the bald eagle chases the tiger.
((("lion" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If someone needs the lion then they are rough.
((("someone" "needs" "lion" "+")) -> ("someone" "is" "rough" "+"))
If someone is red then they visit the tiger.
((("someone" "is" "red" "+")) -> ("someone" "visits" "tiger" "+"))
If the dog needs the bald eagle then the dog chases the lion.
((("dog" "needs" "bald eagle" "+")) -> ("dog" "chases" "lion" "+"))
If someone visits the bald eagle and the bald eagle is round then they are red.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone chases the tiger then they are red.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "red" "+"))
The dog needs the tiger.
True
1
proof
[(triple8)]
("dog" "needs" "tiger" "+")
triple8
The dog does not visit the tiger.
False
1
inv-proof
[(triple10 OR ((((triple7) -> rule8)) -> rule5))]
("dog" "visits" "tiger" "-")
triple10
((((triple7) -> (rule8 % int2))) -> (rule5 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The bald eagle is rough.
True
2
proof
[(((triple2) -> rule4))]
("bald eagle" "is" "rough" "+")
((triple2) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple2) -> rule4))]
("bald eagle" "is" "rough" "-")
((triple2) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is nice.
True
4
proof
[(((((triple13 triple14) -> rule2)) -> rule1) OR ((((triple8 triple9) -> rule2)) -> rule1))]
("bald eagle" "is" "nice" "+")
((((triple13 triple14) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
((((triple8 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The bald eagle is not nice.
False
4
inv-proof
[(((((triple13 triple14) -> rule2)) -> rule1) OR ((((triple8 triple9) -> rule2)) -> rule1))]
("bald eagle" "is" "nice" "-")
((((triple13 triple14) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
((((triple8 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The bald eagle visits the tiger.
True
4
proof
[(((((((triple14) -> rule3)) -> rule8)) -> rule5))]
("bald eagle" "visits" "tiger" "+")
((((((triple14) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The bald eagle does not visit the tiger.
False
4
inv-proof
[(((((((triple14) -> rule3)) -> rule8)) -> rule5))]
("bald eagle" "visits" "tiger" "-")
((((((triple14) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "nice" "-")
The dog chases the lion.
Unknown
rconc
[@1: The dog chases the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "chases" "lion" "+")
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "rough" "-")
The lion is nice.
Unknown
rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "nice" "+")
The lion does not chase the dog.
Unknown
inv-random
[@0: The lion chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The tiger needs the bald eagle.
Unknown
random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the dog.[(triple4)] The bald eagle visits the lion.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the tiger.[(triple7)] The dog needs the tiger.[(triple8)] The dog visits the bald eagle.[(triple9)] The dog visits the tiger.[(triple10 OR ((((triple7) -> rule8)) -> rule5))] The lion is blue.[(triple11)] The lion needs the bald eagle.[(triple12)] The lion needs the tiger.[(triple13)] The lion visits the bald eagle.[(triple14)] The lion visits the tiger.[(triple15)] The tiger chases the lion.[(triple16)] @1: The bald eagle chases the tiger.[(((triple14) -> rule3))] The bald eagle is rough.[(((triple2) -> rule4))] The bald eagle needs the dog.[(((triple13 triple14) -> rule2) OR ((triple8 triple9) -> rule2))] The dog is red.[(((triple7) -> rule8))] @2: The bald eagle is nice.[(((((triple13 triple14) -> rule2)) -> rule1) OR ((((triple8 triple9) -> rule2)) -> rule1))] The bald eagle is red.[(((((triple14) -> rule3)) -> rule8))] @3: The bald eagle visits the tiger.[(((((((triple14) -> rule3)) -> rule8)) -> rule5))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple6
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple7
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple8
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple9
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple10
((((triple7) -> (rule8 % int2))) -> (rule5 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
triple11
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple12
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple13
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple14
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple15
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple16
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
((triple14) -> (rule3 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((triple13 triple14) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
((triple8 triple9) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((triple7) -> (rule8 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((triple13 triple14) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
((((triple8 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple14) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
((((((triple14) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3