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