The bald eagle does not chase the bear. The bald eagle chases the lion. The bald eagle is young. The bald eagle likes the mouse. The bear is round. The bear likes the bald eagle. The bear likes the mouse. The bear sees the bald eagle. The bear sees the mouse. The lion is big. The lion likes the bear. The mouse does not chase the bald eagle. The mouse is young. The mouse likes the lion. If something sees the lion and the lion likes the bear then it likes the bald eagle. If something likes the bald eagle then it chases the bald eagle. If something is big then it chases the bald eagle. If the mouse is big then the mouse chases the lion. If something chases the bald eagle then the bald eagle likes the lion. If something chases the bald eagle then it likes the mouse. If something chases the bald eagle then the bald eagle sees the lion. If something is young and it does not chase the lion then the lion is young. If something is young and it chases the bald eagle then it does not chase the mouse.
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The lion is big.
("lion" "is" "big" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
If something sees the lion and the lion likes the bear then it likes the bald eagle.
((("something" "sees" "lion" "+") ("lion" "likes" "bear" "+")) -> ("something" "likes" "bald eagle" "+"))
If something likes the bald eagle then it chases the bald eagle.
((("something" "likes" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is big then it chases the bald eagle.
((("something" "is" "big" "+")) -> ("something" "chases" "bald eagle" "+"))
If the mouse is big then the mouse chases the lion.
((("mouse" "is" "big" "+")) -> ("mouse" "chases" "lion" "+"))
If something chases the bald eagle then the bald eagle likes the lion.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "+"))
If something chases the bald eagle then it likes the mouse.
((("something" "chases" "bald eagle" "+")) -> ("something" "likes" "mouse" "+"))
If something chases the bald eagle then the bald eagle sees the lion.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "+"))
If something is young and it does not chase the lion then the lion is young.
((("something" "is" "young" "+") ("something" "chases" "lion" "~")) -> ("lion" "is" "young" "+"))
If something is young and it chases the bald eagle then it does not chase the mouse.
((("something" "is" "young" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "chases" "mouse" "-"))
The bald eagle is young.
True
1
proof
[(triple3)]
("bald eagle" "is" "young" "+")
triple3
The bear does not like the mouse.
False
1
inv-proof
[(triple7 OR ((((triple6) -> rule2)) -> rule6))]
("bear" "likes" "mouse" "-")
triple7
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The bear chases the bald eagle.
True
2
proof
[(((triple6) -> rule2))]
("bear" "chases" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear does not chase the bald eagle.
False
2
inv-proof
[(((triple6) -> rule2))]
("bear" "chases" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle likes the lion.
True
3
proof
[(((((triple10) -> rule3)) -> rule5) OR ((((triple6) -> rule2)) -> rule5) OR ((((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule5) OR ((((((((((triple6) -> rule2)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule5))]
("bald eagle" "likes" "lion" "+")
((((triple10) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int5
The bald eagle does not like the lion.
False
3
inv-proof
[(((((triple10) -> rule3)) -> rule5) OR ((((triple6) -> rule2)) -> rule5) OR ((((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule5) OR ((((((((((triple6) -> rule2)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule5))]
("bald eagle" "likes" "lion" "-")
((((triple10) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int5
The bald eagle likes the bald eagle.
True
5
proof
[(((((((triple10) -> rule3)) -> rule7) triple11) -> rule1) OR ((((((triple6) -> rule2)) -> rule7) triple11) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((((((triple10) -> (rule3 % int3))) -> (rule7 % int2)) triple11) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule7 % int2)) triple11) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int3
The bald eagle does not like the bald eagle.
False
5
inv-proof
[(((((((triple10) -> rule3)) -> rule7) triple11) -> rule1) OR ((((((triple6) -> rule2)) -> rule7) triple11) -> rule1))]
("bald eagle" "likes" "bald eagle" "-")
((((((triple10) -> (rule3 % int3))) -> (rule7 % int2)) triple11) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule7 % int2)) triple11) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
True
6
proof
[(((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule2) OR ((((((((triple6) -> rule2)) -> rule7) triple11) -> rule1)) -> rule2))]
("bald eagle" "chases" "bald eagle" "+")
((((((((triple10) -> (rule3 % int4))) -> (rule7 % int3)) triple11) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) triple11) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int4
The bald eagle does not chase the bald eagle.
False
6
inv-proof
[(((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule2) OR ((((((((triple6) -> rule2)) -> rule7) triple11) -> rule1)) -> rule2))]
("bald eagle" "chases" "bald eagle" "-")
((((((((triple10) -> (rule3 % int4))) -> (rule7 % int3)) triple11) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) triple11) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int4
The bald eagle does not chase the mouse.
True
8
proof
[(((triple3 ((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule9) OR ((triple3 ((((((((triple6) -> rule2)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule9))]
("bald eagle" "chases" "mouse" "-")
((triple3 ((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int5
((triple3 ((((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int5
The bald eagle chases the mouse.
False
8
inv-proof
[(((triple3 ((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule9) OR ((triple3 ((((((((triple6) -> rule2)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule9))]
("bald eagle" "chases" "mouse" "+")
((triple3 ((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int5
((triple3 ((((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int5
The mouse does not like the bald eagle.
Unknown
inv-rconc
[@1: The mouse likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "bald eagle" "-")
The lion is young.
Unknown
rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "young" "+")
The lion does not like the bald eagle.
Unknown
inv-rconc
[@1: The lion likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "bald eagle" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The mouse does not chase the lion.
Unknown
inv-rconc
[@1: The mouse chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "chases" "lion" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The mouse sees the lion.
Unknown
random
[@0: The mouse sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "lion" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bald eagle chases the lion.[(triple2)] The bald eagle does not chase the bear.[(triple1)] The bald eagle is young.[(triple3)] The bald eagle likes the mouse.[(triple4 OR ((((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule6) OR ((((((((((triple6) -> rule2)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule6))] The bear is round.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the mouse.[(triple7 OR ((((triple6) -> rule2)) -> rule6))] The bear sees the bald eagle.[(triple8)] The bear sees the mouse.[(triple9)] The lion is big.[(triple10)] The lion likes the bear.[(triple11)] The mouse does not chase the bald eagle.[(triple12)] The mouse is young.[(triple13)] The mouse likes the lion.[(triple14)] @1: The bear chases the bald eagle.[(((triple6) -> rule2))] The lion chases the bald eagle.[(((triple10) -> rule3))] @2: The bald eagle likes the lion.[(((((triple10) -> rule3)) -> rule5) OR ((((triple6) -> rule2)) -> rule5) OR ((((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule5) OR ((((((((((triple6) -> rule2)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule5))] The bald eagle sees the lion.[(((((triple10) -> rule3)) -> rule7) OR ((((triple6) -> rule2)) -> rule7))] The lion likes the mouse.[(((((triple10) -> rule3)) -> rule6))] @3: The bald eagle likes the bald eagle.[(((((((triple10) -> rule3)) -> rule7) triple11) -> rule1) OR ((((((triple6) -> rule2)) -> rule7) triple11) -> rule1))] @4: The bald eagle chases the bald eagle.[(((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule2) OR ((((((((triple6) -> rule2)) -> rule7) triple11) -> rule1)) -> rule2))] @5: The bald eagle does not chase the mouse.[(((triple3 ((((((((triple10) -> rule3)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule9) OR ((triple3 ((((((((triple6) -> rule2)) -> rule7) triple11) -> rule1)) -> rule2)) -> rule9))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple4
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int5
The bear is round.
("bear" "is" "round" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple7
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple8
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple9
The lion is big.
("lion" "is" "big" "+")
triple10
The lion likes the bear.
("lion" "likes" "bear" "+")
triple11
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
triple12
The mouse is young.
("mouse" "is" "young" "+")
triple13
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple14
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
((triple10) -> (rule3 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((((triple10) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int5
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((((triple10) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
((((triple10) -> (rule3 % int2))) -> (rule6 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((((triple10) -> (rule3 % int3))) -> (rule7 % int2)) triple11) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule7 % int2)) triple11) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((((triple10) -> (rule3 % int4))) -> (rule7 % int3)) triple11) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) triple11) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int4
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
((triple3 ((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int5
((triple3 ((((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int5