The bald eagle chases the lion. The bald eagle chases the squirrel. The bald eagle eats the lion. The bald eagle eats the rabbit. The bald eagle is rough. The bald eagle likes the lion. The bald eagle likes the squirrel. The lion eats the squirrel. The lion is cold. The rabbit is rough. The squirrel is blue. If someone eats the rabbit and they are rough then they are round. If someone likes the rabbit then the rabbit likes the squirrel. If the rabbit eats the lion and the lion likes the rabbit then the lion likes the bald eagle. Cold people are round. If someone eats the rabbit and they chase the squirrel then they like the bald eagle. If the rabbit likes the lion and the rabbit chases the squirrel then the lion likes the bald eagle. If someone likes the squirrel then they eat the rabbit. If someone chases the bald eagle and the bald eagle eats the lion then the bald eagle likes the squirrel. If someone likes the bald eagle then they like the rabbit.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is cold.
("lion" "is" "cold" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If someone eats the rabbit and they are rough then they are round.
((("someone" "eats" "rabbit" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone likes the rabbit then the rabbit likes the squirrel.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
If the rabbit eats the lion and the lion likes the rabbit then the lion likes the bald eagle.
((("rabbit" "eats" "lion" "+") ("lion" "likes" "rabbit" "+")) -> ("lion" "likes" "bald eagle" "+"))
Cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone eats the rabbit and they chase the squirrel then they like the bald eagle.
((("someone" "eats" "rabbit" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the rabbit likes the lion and the rabbit chases the squirrel then the lion likes the bald eagle.
((("rabbit" "likes" "lion" "+") ("rabbit" "chases" "squirrel" "+")) -> ("lion" "likes" "bald eagle" "+"))
If someone likes the squirrel then they eat the rabbit.
((("someone" "likes" "squirrel" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone chases the bald eagle and the bald eagle eats the lion then the bald eagle likes the squirrel.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "eats" "lion" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If someone likes the bald eagle then they like the rabbit.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "rabbit" "+"))
The rabbit is rough.
True
1
proof
[(triple10)]
("rabbit" "is" "rough" "+")
triple10
The squirrel is not blue.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "blue" "-")
triple11
The bald eagle is round.
True
3
proof
[(((triple4 triple5) -> rule1) OR ((((triple7) -> rule7) triple5) -> rule1))]
("bald eagle" "is" "round" "+")
((triple4 triple5) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((((triple7) -> (rule7 % int2)) triple5) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle is not round.
False
3
inv-proof
[(((triple4 triple5) -> rule1) OR ((((triple7) -> rule7) triple5) -> rule1))]
("bald eagle" "is" "round" "-")
((triple4 triple5) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((((triple7) -> (rule7 % int2)) triple5) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle likes the rabbit.
True
4
proof
[(((((triple4 triple2) -> rule5)) -> rule9) OR ((((((triple7) -> rule7) triple2) -> rule5)) -> rule9))]
("bald eagle" "likes" "rabbit" "+")
((((triple4 triple2) -> (rule5 % int2))) -> (rule9 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
((((((triple7) -> (rule7 % int3)) triple2) -> (rule5 % int2))) -> (rule9 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The bald eagle does not like the rabbit.
False
4
inv-proof
[(((((triple4 triple2) -> rule5)) -> rule9) OR ((((((triple7) -> rule7) triple2) -> rule5)) -> rule9))]
("bald eagle" "likes" "rabbit" "-")
((((triple4 triple2) -> (rule5 % int2))) -> (rule9 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
((((((triple7) -> (rule7 % int3)) triple2) -> (rule5 % int2))) -> (rule9 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The rabbit likes the squirrel.
True
5
proof
[(((((((triple4 triple2) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple7) -> rule7) triple2) -> rule5)) -> rule9)) -> rule2))]
("rabbit" "likes" "squirrel" "+")
((((((triple4 triple2) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
((((((((triple7) -> (rule7 % int4)) triple2) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int4
The rabbit does not like the squirrel.
False
5
inv-proof
[(((((((triple4 triple2) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple7) -> rule7) triple2) -> rule5)) -> rule9)) -> rule2))]
("rabbit" "likes" "squirrel" "-")
((((((triple4 triple2) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
((((((((triple7) -> (rule7 % int4)) triple2) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int4
The rabbit eats the rabbit.
True
6
proof
[(((((((((triple4 triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7) OR ((((((((((triple7) -> rule7) triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7))]
("rabbit" "eats" "rabbit" "+")
((((((((triple4 triple2) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
((((((((((triple7) -> (rule7 % int5)) triple2) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int5
The rabbit does not eat the rabbit.
False
6
inv-proof
[(((((((((triple4 triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7) OR ((((((((((triple7) -> rule7) triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7))]
("rabbit" "eats" "rabbit" "-")
((((((((triple4 triple2) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
((((((((((triple7) -> (rule7 % int5)) triple2) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int5
The rabbit is round.
True
8
proof
[(((((((((((triple4 triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7) triple10) -> rule1) OR ((((((((((((triple7) -> rule7) triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7) triple10) -> rule1))]
("rabbit" "is" "round" "+")
((((((((((triple4 triple2) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
((((((((((((triple7) -> (rule7 % int6)) triple2) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int6
The rabbit is not round.
False
8
inv-proof
[(((((((((((triple4 triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7) triple10) -> rule1) OR ((((((((((((triple7) -> rule7) triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7) triple10) -> rule1))]
("rabbit" "is" "round" "-")
((((((((((triple4 triple2) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
((((((((((((triple7) -> (rule7 % int6)) triple2) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int6
The squirrel does not like the bald eagle.
Unknown
inv-rconc
[@1: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "bald eagle" "-")
The lion eats the rabbit.
Unknown
rconc
[@1: The lion eats the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "eats" "rabbit" "+")
The squirrel does not like the rabbit.
Unknown
inv-rconc
[@2: The squirrel likes the rabbit.[CWA. Example of deepest failure = (rule9 <- rule5 <- FAIL)]]
("squirrel" "likes" "rabbit" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "round" "+")
The squirrel does not eat the rabbit.
Unknown
inv-rconc
[@1: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "eats" "rabbit" "-")
The lion likes the rabbit.
Unknown
rconc
[@2: The lion likes the rabbit.[CWA. Example of deepest failure = (rule9 <- rule3 <- FAIL)]]
("lion" "likes" "rabbit" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The rabbit eats the lion.
Unknown
random
[@0: The rabbit eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "lion" "+")
The lion does not eat the bald eagle.
Unknown
inv-random
[@0: The lion eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bald eagle" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The lion does not chase the rabbit.
Unknown
inv-random
[@0: The lion chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "rabbit" "-")
The rabbit chases the lion.
Unknown
random
[@0: The rabbit chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle eats the lion.[(triple3)] The bald eagle eats the rabbit.[(triple4 OR ((triple7) -> rule7))] The bald eagle is rough.[(triple5)] The bald eagle likes the lion.[(triple6)] The bald eagle likes the squirrel.[(triple7)] The lion eats the squirrel.[(triple8)] The lion is cold.[(triple9)] The rabbit is rough.[(triple10)] The squirrel is blue.[(triple11)] @1: The bald eagle is round.[(((triple4 triple5) -> rule1) OR ((((triple7) -> rule7) triple5) -> rule1))] The bald eagle likes the bald eagle.[(((triple4 triple2) -> rule5) OR ((((triple7) -> rule7) triple2) -> rule5))] The lion is round.[(((triple9) -> rule4))] @2: The bald eagle likes the rabbit.[(((((triple4 triple2) -> rule5)) -> rule9) OR ((((((triple7) -> rule7) triple2) -> rule5)) -> rule9))] @3: The rabbit likes the squirrel.[(((((((triple4 triple2) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple7) -> rule7) triple2) -> rule5)) -> rule9)) -> rule2))] @4: The rabbit eats the rabbit.[(((((((((triple4 triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7) OR ((((((((((triple7) -> rule7) triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7))] @5: The rabbit is round.[(((((((((((triple4 triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7) triple10) -> rule1) OR ((((((((((((triple7) -> rule7) triple2) -> rule5)) -> rule9)) -> rule2)) -> rule7) triple10) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple4
((triple7) -> (rule7 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple6
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple7
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple4 triple5) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((((triple7) -> (rule7 % int2)) triple5) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple4 triple2) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
((((triple7) -> (rule7 % int2)) triple2) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The lion is round.
("lion" "is" "round" "+")
((triple9) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((((triple4 triple2) -> (rule5 % int2))) -> (rule9 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
((((((triple7) -> (rule7 % int3)) triple2) -> (rule5 % int2))) -> (rule9 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
((((((triple4 triple2) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
((((((((triple7) -> (rule7 % int4)) triple2) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int4
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((((((triple4 triple2) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
((((((((((triple7) -> (rule7 % int5)) triple2) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int5
The rabbit is round.
("rabbit" "is" "round" "+")
((((((((((triple4 triple2) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
((((((((((((triple7) -> (rule7 % int6)) triple2) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int6