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