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