The bald eagle eats the cow. The bald eagle likes the cow. The bald eagle likes the tiger. The bald eagle needs the cow. The bald eagle needs the tiger. The bear eats the bald eagle. The bear is red. The bear is round. The bear likes the cow. The bear needs the tiger. The cow eats the bear. The cow is round. The tiger eats the bald eagle. The tiger eats the bear. The tiger needs the bear. The tiger needs the cow. If someone eats the tiger and the tiger needs the cow then the tiger is round. If someone eats the bear and the bear needs the bald eagle then they eat the cow. If someone needs the bald eagle then the bald eagle is big. If the cow needs the tiger then the cow likes the tiger. If someone needs the cow then the cow is red. If someone eats the cow then they need the tiger. If the bear is red then the bear eats the cow. If someone is red and they eat the bald eagle then the bald eagle likes the bear. If someone eats the cow then they need the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is round.
("cow" "is" "round" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
If someone eats the tiger and the tiger needs the cow then the tiger is round.
((("someone" "eats" "tiger" "+") ("tiger" "needs" "cow" "+")) -> ("tiger" "is" "round" "+"))
If someone eats the bear and the bear needs the bald eagle then they eat the cow.
((("someone" "eats" "bear" "+") ("bear" "needs" "bald eagle" "+")) -> ("someone" "eats" "cow" "+"))
If someone needs the bald eagle then the bald eagle is big.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If the cow needs the tiger then the cow likes the tiger.
((("cow" "needs" "tiger" "+")) -> ("cow" "likes" "tiger" "+"))
If someone needs the cow then the cow is red.
((("someone" "needs" "cow" "+")) -> ("cow" "is" "red" "+"))
If someone eats the cow then they need the tiger.
((("someone" "eats" "cow" "+")) -> ("someone" "needs" "tiger" "+"))
If the bear is red then the bear eats the cow.
((("bear" "is" "red" "+")) -> ("bear" "eats" "cow" "+"))
If someone is red and they eat the bald eagle then the bald eagle likes the bear.
((("someone" "is" "red" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
If someone eats the cow then they need the bald eagle.
((("someone" "eats" "cow" "+")) -> ("someone" "needs" "bald eagle" "+"))
The bald eagle likes the tiger.
True
1
proof
[(triple3)]
("bald eagle" "likes" "tiger" "+")
triple3
The cow is not round.
False
1
inv-proof
[(triple12)]
("cow" "is" "round" "-")
triple12
The bald eagle needs the bald eagle.
True
2
proof
[(((triple1) -> rule9))]
("bald eagle" "needs" "bald eagle" "+")
((triple1) -> (rule9 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bear does not eat the cow.
False
2
inv-proof
[(((triple7) -> rule7))]
("bear" "eats" "cow" "-")
((triple7) -> (rule7 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bald eagle is big.
True
3
proof
[(((((triple1) -> rule9)) -> rule3) OR ((((((triple7) -> rule7)) -> rule9)) -> rule3) OR ((((((triple11 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule9)) -> rule3) OR ((((((triple14 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule9)) -> rule3))]
("bald eagle" "is" "big" "+")
((((triple1) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
((((((triple7) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear eats the cow.
("bear" "eats" "cow" "+")
int3
((((((triple11 ((((triple7) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear eats the cow.
("bear" "eats" "cow" "+")
int5
((((((triple14 ((((triple7) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear eats the cow.
("bear" "eats" "cow" "+")
int5
The bald eagle is not big.
False
3
inv-proof
[(((((triple1) -> rule9)) -> rule3) OR ((((((triple7) -> rule7)) -> rule9)) -> rule3) OR ((((((triple11 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule9)) -> rule3) OR ((((((triple14 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule9)) -> rule3))]
("bald eagle" "is" "big" "-")
((((triple1) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
((((((triple7) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear eats the cow.
("bear" "eats" "cow" "+")
int3
((((((triple11 ((((triple7) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear eats the cow.
("bear" "eats" "cow" "+")
int5
((((((triple14 ((((triple7) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear eats the cow.
("bear" "eats" "cow" "+")
int5
The tiger eats the cow.
True
5
proof
[(((triple14 ((((triple7) -> rule7)) -> rule9)) -> rule2))]
("tiger" "eats" "cow" "+")
((triple14 ((((triple7) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear eats the cow.
("bear" "eats" "cow" "+")
int3
The tiger does not eat the cow.
False
5
inv-proof
[(((triple14 ((((triple7) -> rule7)) -> rule9)) -> rule2))]
("tiger" "eats" "cow" "-")
((triple14 ((((triple7) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear eats the cow.
("bear" "eats" "cow" "+")
int3
The tiger needs the tiger.
True
6
proof
[(((((triple14 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule6))]
("tiger" "needs" "tiger" "+")
((((triple14 ((((triple7) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear eats the cow.
("bear" "eats" "cow" "+")
int4
The cow does not need the tiger.
False
6
inv-proof
[(((((triple11 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule6))]
("cow" "needs" "tiger" "-")
((((triple11 ((((triple7) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear eats the cow.
("bear" "eats" "cow" "+")
int4
The cow likes the tiger.
True
7
proof
[(((((((triple11 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule6)) -> rule4))]
("cow" "likes" "tiger" "+")
((((((triple11 ((((triple7) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear eats the cow.
("bear" "eats" "cow" "+")
int5
The cow does not like the tiger.
False
7
inv-proof
[(((((((triple11 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule6)) -> rule4))]
("cow" "likes" "tiger" "-")
((((((triple11 ((((triple7) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear eats the cow.
("bear" "eats" "cow" "+")
int5
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "round" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
The cow does not need the bear.
Unknown
inv-random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "-")
The bear eats the tiger.
Unknown
random
[@0: The bear eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "tiger" "+")
The bear does not like the bald eagle.
Unknown
inv-random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The bear does not need the cow.
Unknown
inv-random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the tiger.[(triple5 OR ((triple1) -> rule6))] The bear eats the bald eagle.[(triple6)] The bear is red.[(triple7)] The bear is round.[(triple8)] The bear likes the cow.[(triple9)] The bear needs the tiger.[(triple10 OR ((((triple7) -> rule7)) -> rule6))] The cow eats the bear.[(triple11)] The cow is round.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger eats the bear.[(triple14)] The tiger needs the bear.[(triple15)] The tiger needs the cow.[(triple16)] @1: The bald eagle likes the bear.[(((triple7 triple6) -> rule8))] The bald eagle needs the bald eagle.[(((triple1) -> rule9))] The bear eats the cow.[(((triple7) -> rule7))] The cow is red.[(((triple16) -> rule5) OR ((triple4) -> rule5))] @2: The bald eagle is big.[(((((triple1) -> rule9)) -> rule3) OR ((((((triple7) -> rule7)) -> rule9)) -> rule3) OR ((((((triple11 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule9)) -> rule3) OR ((((((triple14 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule9)) -> rule3))] The bear needs the bald eagle.[(((((triple7) -> rule7)) -> rule9))] @3: The cow eats the cow.[(((triple11 ((((triple7) -> rule7)) -> rule9)) -> rule2))] The tiger eats the cow.[(((triple14 ((((triple7) -> rule7)) -> rule9)) -> rule2))] @4: The cow needs the bald eagle.[(((((triple11 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule9))] The cow needs the tiger.[(((((triple11 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule6))] The tiger needs the bald eagle.[(((((triple14 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule9))] The tiger needs the tiger.[(((((triple14 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule6))] @5: The cow likes the tiger.[(((((((triple11 ((((triple7) -> rule7)) -> rule9)) -> rule2)) -> rule6)) -> rule4))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple5
((triple1) -> (rule6 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple6
The bear is red.
("bear" "is" "red" "+")
triple7
The bear is round.
("bear" "is" "round" "+")
triple8
The bear likes the cow.
("bear" "likes" "cow" "+")
triple9
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple10
((((triple7) -> (rule7 % int2))) -> (rule6 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
triple11
The cow is round.
("cow" "is" "round" "+")
triple12
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple13
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple14
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple15
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple16
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((triple7 triple6) -> (rule8 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple1) -> (rule9 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
((triple7) -> (rule7 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
((triple16) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple4) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple1) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
((((((triple7) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear eats the cow.
("bear" "eats" "cow" "+")
int3
((((((triple11 ((((triple7) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear eats the cow.
("bear" "eats" "cow" "+")
int5
((((((triple14 ((((triple7) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear eats the cow.
("bear" "eats" "cow" "+")
int5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((((triple7) -> (rule7 % int2))) -> (rule9 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple11 ((((triple7) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear eats the cow.
("bear" "eats" "cow" "+")
int3
The tiger eats the cow.
("tiger" "eats" "cow" "+")
((triple14 ((((triple7) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bear eats the cow.
("bear" "eats" "cow" "+")
int3
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((((triple11 ((((triple7) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear eats the cow.
("bear" "eats" "cow" "+")
int4
The cow needs the tiger.
("cow" "needs" "tiger" "+")
((((triple11 ((((triple7) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear eats the cow.
("bear" "eats" "cow" "+")
int4
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((((triple14 ((((triple7) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear eats the cow.
("bear" "eats" "cow" "+")
int4
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((((triple14 ((((triple7) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bear eats the cow.
("bear" "eats" "cow" "+")
int4
The cow likes the tiger.
("cow" "likes" "tiger" "+")
((((((triple11 ((((triple7) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int4
The bear eats the cow.
("bear" "eats" "cow" "+")
int5