The bald eagle is cold. The bald eagle is young. The bald eagle sees the bear. The bald eagle visits the rabbit. The bear is rough. The bear is round. The bear visits the bald eagle. The rabbit is rough. The rabbit visits the bald eagle. The rabbit visits the bear. If the rabbit is cold then the rabbit is rough. If someone visits the bear then the bear likes the bald eagle. If someone likes the bald eagle and the bald eagle visits the bear then the bald eagle sees the rabbit. If someone visits the bald eagle then they visit the bear. If someone is cold and they like the bald eagle then they see the bald eagle. If someone likes the bald eagle then the bald eagle visits the bear.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If the rabbit is cold then the rabbit is rough.
((("rabbit" "is" "cold" "+")) -> ("rabbit" "is" "rough" "+"))
If someone visits the bear then the bear likes the bald eagle.
((("someone" "visits" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle visits the bear then the bald eagle sees the rabbit.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "visits" "bear" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If someone visits the bald eagle then they visit the bear.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "bear" "+"))
If someone is cold and they like the bald eagle then they see the bald eagle.
((("someone" "is" "cold" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone likes the bald eagle then the bald eagle visits the bear.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
The bear visits the bald eagle.
True
1
proof
[(triple7)]
("bear" "visits" "bald eagle" "+")
triple7
The bald eagle does not visit the rabbit.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "rabbit" "-")
triple4
The bear visits the bear.
True
2
proof
[(((triple7) -> rule4))]
("bear" "visits" "bear" "+")
((triple7) -> (rule4 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
2
inv-proof
[(((triple7) -> rule4))]
("bear" "visits" "bear" "-")
((triple7) -> (rule4 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bald eagle visits the bear.
True
3
proof
[(((((triple10) -> rule2)) -> rule6) OR ((((((triple7) -> rule4)) -> rule2)) -> rule6) OR ((((((triple9) -> rule4)) -> rule2)) -> rule6))]
("bald eagle" "visits" "bear" "+")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
((((((triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The bald eagle does not visit the bear.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule6) OR ((((((triple7) -> rule4)) -> rule2)) -> rule6) OR ((((((triple9) -> rule4)) -> rule2)) -> rule6))]
("bald eagle" "visits" "bear" "-")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
((((((triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The bald eagle sees the rabbit.
True
6
proof
[(((((triple10) -> rule2) ((((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9) -> rule4)) -> rule2) ((((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((((((triple9) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((((triple9) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9) -> rule4)) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9) -> rule4)) -> rule2) ((((((triple9) -> rule4)) -> rule2)) -> rule6)) -> rule3))]
("bald eagle" "sees" "rabbit" "+")
((((triple10) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
((((((triple7) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
int4
((((((triple9) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
((((triple10) -> (rule2 % int4)) ((((((triple7) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
((((triple10) -> (rule2 % int4)) ((((((triple9) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
((((((triple7) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
int4
((((((triple7) -> (rule4 % int5))) -> (rule2 % int4)) ((((((triple9) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bear visits the bear.
("bear" "visits" "bear" "+")
int5
((((((triple9) -> (rule4 % int5))) -> (rule2 % int4)) ((((((triple7) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int5
((((((triple9) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple9) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
The bald eagle does not see the rabbit.
False
6
inv-proof
[(((((triple10) -> rule2) ((((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9) -> rule4)) -> rule2) ((((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((((((triple9) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((((triple9) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9) -> rule4)) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9) -> rule4)) -> rule2) ((((((triple9) -> rule4)) -> rule2)) -> rule6)) -> rule3))]
("bald eagle" "sees" "rabbit" "-")
((((triple10) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
((((((triple7) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
int4
((((((triple9) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
((((triple10) -> (rule2 % int4)) ((((((triple7) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
((((triple10) -> (rule2 % int4)) ((((((triple9) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
((((((triple7) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
int4
((((((triple7) -> (rule4 % int5))) -> (rule2 % int4)) ((((((triple9) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bear visits the bear.
("bear" "visits" "bear" "+")
int5
((((((triple9) -> (rule4 % int5))) -> (rule2 % int4)) ((((((triple7) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int5
((((((triple9) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple9) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
The rabbit does not see the bald eagle.
Unknown
inv-rconc
[@1: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bear does not see the bald eagle.
Unknown
inv-rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The rabbit sees the bear.
Unknown
random
[@0: The rabbit sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bear" "+")
The bear does not like the rabbit.
Unknown
inv-random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "-")
The bear visits the rabbit.
Unknown
random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bald eagle likes the rabbit.
Unknown
random
[@0: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "rabbit" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the bear.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear visits the bald eagle.[(triple7)] The rabbit is rough.[(triple8)] The rabbit visits the bald eagle.[(triple9)] The rabbit visits the bear.[(triple10 OR ((triple9) -> rule4))] @1: The bear likes the bald eagle.[(((triple10) -> rule2) OR ((((triple7) -> rule4)) -> rule2) OR ((((triple9) -> rule4)) -> rule2))] The bear visits the bear.[(((triple7) -> rule4))] @2: The bald eagle visits the bear.[(((((triple10) -> rule2)) -> rule6) OR ((((((triple7) -> rule4)) -> rule2)) -> rule6) OR ((((((triple9) -> rule4)) -> rule2)) -> rule6))] @3: The bald eagle sees the rabbit.[(((((triple10) -> rule2) ((((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9) -> rule4)) -> rule2) ((((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((((((triple9) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule4)) -> rule2) ((((((triple9) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9) -> rule4)) -> rule2) ((((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9) -> rule4)) -> rule2) ((((((triple9) -> rule4)) -> rule2)) -> rule6)) -> rule3))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
((triple9) -> (rule4 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
((((triple9) -> (rule4 % int2))) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple7) -> (rule4 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
((((((triple9) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((((triple10) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
((((((triple7) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
int4
((((((triple9) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
((((triple10) -> (rule2 % int4)) ((((((triple7) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
((((triple10) -> (rule2 % int4)) ((((((triple9) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
((((((triple7) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
int4
((((((triple7) -> (rule4 % int5))) -> (rule2 % int4)) ((((((triple9) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bear visits the bear.
("bear" "visits" "bear" "+")
int5
((((((triple9) -> (rule4 % int5))) -> (rule2 % int4)) ((((((triple7) -> (rule4 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int5
((((((triple9) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple9) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4