The bald eagle is red. The bald eagle likes the tiger. The bald eagle needs the bear. The bald eagle visits the bear. The bear needs the lion. The bear visits the lion. The bear visits the tiger. The lion is red. The lion is rough. The lion does not like the bear. The lion needs the bald eagle. The tiger likes the bald eagle. The tiger likes the bear. The tiger does not visit the bear. The tiger does not visit the lion. If something visits the lion and the lion likes the bear then the lion visits the bear. If something needs the lion then it likes the lion. If something likes the bald eagle and it is rough then it does not like the lion. If something is kind then it likes the bald eagle. If something needs the lion then the lion likes the tiger. If something visits the tiger and the tiger likes the bear then it needs the bear. Red things are kind. If something is young and it likes the bald eagle then the bald eagle does not need the tiger.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
If something visits the lion and the lion likes the bear then the lion visits the bear.
((("something" "visits" "lion" "+") ("lion" "likes" "bear" "+")) -> ("lion" "visits" "bear" "+"))
If something needs the lion then it likes the lion.
((("something" "needs" "lion" "+")) -> ("something" "likes" "lion" "+"))
If something likes the bald eagle and it is rough then it does not like the lion.
((("something" "likes" "bald eagle" "+") ("something" "is" "rough" "+")) -> ("something" "likes" "lion" "-"))
If something is kind then it likes the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "likes" "bald eagle" "+"))
If something needs the lion then the lion likes the tiger.
((("something" "needs" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
If something visits the tiger and the tiger likes the bear then it needs the bear.
((("something" "visits" "tiger" "+") ("tiger" "likes" "bear" "+")) -> ("something" "needs" "bear" "+"))
Red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is young and it likes the bald eagle then the bald eagle does not need the tiger.
((("something" "is" "young" "+") ("something" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "tiger" "-"))
The bald eagle needs the bear.
True
1
proof
[(triple3)]
("bald eagle" "needs" "bear" "+")
triple3
The tiger does not like the bear.
False
1
inv-proof
[(triple13)]
("tiger" "likes" "bear" "-")
triple13
The bald eagle is kind.
True
2
proof
[(((triple1) -> rule7))]
("bald eagle" "is" "kind" "+")
((triple1) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The lion does not like the tiger.
False
2
inv-proof
[(((triple5) -> rule5))]
("lion" "likes" "tiger" "-")
((triple5) -> (rule5 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion likes the bald eagle.
True
3
proof
[(((((triple8) -> rule7)) -> rule4))]
("lion" "likes" "bald eagle" "+")
((((triple8) -> (rule7 % int2))) -> (rule4 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion does not like the bald eagle.
False
3
inv-proof
[(((((triple8) -> rule7)) -> rule4))]
("lion" "likes" "bald eagle" "-")
((((triple8) -> (rule7 % int2))) -> (rule4 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion does not like the lion.
True
5
proof
[(((((((triple8) -> rule7)) -> rule4) triple9) -> rule3))]
("lion" "likes" "lion" "-")
((((((triple8) -> (rule7 % int3))) -> (rule4 % int2)) triple9) -> (rule3 % int1))
The lion does not like the lion.
("lion" "likes" "lion" "-")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
int3
The lion likes the lion.
False
5
inv-proof
[(((((((triple8) -> rule7)) -> rule4) triple9) -> rule3))]
("lion" "likes" "lion" "+")
((((((triple8) -> (rule7 % int3))) -> (rule4 % int2)) triple9) -> (rule3 % int1))
The lion does not like the lion.
("lion" "likes" "lion" "-")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
int3
The lion does not visit the bear.
Unknown
inv-rconc
[@1: The lion visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "bear" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "kind" "+")
The bear does not like the bald eagle.
Unknown
inv-rconc
[@2: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("bear" "likes" "bald eagle" "-")
The bald eagle likes the lion.
Unknown
rconc
[@1: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "lion" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The lion needs the tiger.
Unknown
random
[@0: The lion needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "tiger" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear needs the lion.[(triple5)] The bear visits the lion.[(triple6)] The bear visits the tiger.[(triple7)] The lion does not like the bear.[(triple10)] The lion is red.[(triple8)] The lion is rough.[(triple9)] The lion needs the bald eagle.[(triple11)] The tiger does not visit the bear.[(triple14)] The tiger does not visit the lion.[(triple15)] The tiger likes the bald eagle.[(triple12)] The tiger likes the bear.[(triple13)] @1: The bald eagle is kind.[(((triple1) -> rule7))] The bear likes the lion.[(((triple5) -> rule2))] The bear needs the bear.[(((triple7 triple13) -> rule6))] The lion is kind.[(((triple8) -> rule7))] The lion likes the tiger.[(((triple5) -> rule5))] @2: The bald eagle likes the bald eagle.[(((((triple1) -> rule7)) -> rule4))] The lion likes the bald eagle.[(((((triple8) -> rule7)) -> rule4))] @3: The lion does not like the lion.[(((((((triple8) -> rule7)) -> rule4) triple9) -> rule3))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear needs the lion.
("bear" "needs" "lion" "+")
triple5
The bear visits the lion.
("bear" "visits" "lion" "+")
triple6
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple7
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple10
The lion is red.
("lion" "is" "red" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
triple14
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
triple15
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple12
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple13
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple1) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
((triple5) -> (rule2 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple7 triple13) -> (rule6 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((triple8) -> (rule7 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
((triple5) -> (rule5 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((triple1) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
((((triple8) -> (rule7 % int2))) -> (rule4 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion does not like the lion.
("lion" "likes" "lion" "-")
((((((triple8) -> (rule7 % int3))) -> (rule4 % int2)) triple9) -> (rule3 % int1))
The lion does not like the lion.
("lion" "likes" "lion" "-")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
int3