The bear is rough. The bear likes the rabbit. The bear likes the tiger. The bear visits the rabbit. The cat likes the bear. The cat visits the rabbit. The rabbit likes the cat. The rabbit needs the tiger. The tiger is cold. The tiger likes the cat. The tiger needs the cat. The tiger visits the bear. If something needs the tiger then it visits the tiger. If something likes the cat and it likes the bear then the bear is green. If something needs the cat then the cat visits the bear. If something is green then it needs the bear. If something needs the tiger and the tiger visits the bear then it is kind. If something likes the bear and the bear is kind then the bear visits the cat. If the rabbit likes the cat then the cat needs the tiger. If the cat likes the bear and the cat likes the tiger then the tiger needs the rabbit. If something visits the tiger then it likes the cat.
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something needs the tiger then it visits the tiger.
((("something" "needs" "tiger" "+")) -> ("something" "visits" "tiger" "+"))
If something likes the cat and it likes the bear then the bear is green.
((("something" "likes" "cat" "+") ("something" "likes" "bear" "+")) -> ("bear" "is" "green" "+"))
If something needs the cat then the cat visits the bear.
((("something" "needs" "cat" "+")) -> ("cat" "visits" "bear" "+"))
If something is green then it needs the bear.
((("something" "is" "green" "+")) -> ("something" "needs" "bear" "+"))
If something needs the tiger and the tiger visits the bear then it is kind.
((("something" "needs" "tiger" "+") ("tiger" "visits" "bear" "+")) -> ("something" "is" "kind" "+"))
If something likes the bear and the bear is kind then the bear visits the cat.
((("something" "likes" "bear" "+") ("bear" "is" "kind" "+")) -> ("bear" "visits" "cat" "+"))
If the rabbit likes the cat then the cat needs the tiger.
((("rabbit" "likes" "cat" "+")) -> ("cat" "needs" "tiger" "+"))
If the cat likes the bear and the cat likes the tiger then the tiger needs the rabbit.
((("cat" "likes" "bear" "+") ("cat" "likes" "tiger" "+")) -> ("tiger" "needs" "rabbit" "+"))
If something visits the tiger then it likes the cat.
((("something" "visits" "tiger" "+")) -> ("something" "likes" "cat" "+"))
The cat likes the bear.
True
1
proof
[(triple5)]
("cat" "likes" "bear" "+")
triple5
The tiger does not like the cat.
False
1
inv-proof
[(triple10)]
("tiger" "likes" "cat" "-")
triple10
The rabbit is kind.
True
3
proof
[(((triple8 triple12) -> rule5))]
("rabbit" "is" "kind" "+")
((triple8 triple12) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The cat does not visit the bear.
False
2
inv-proof
[(((triple11) -> rule3))]
("cat" "visits" "bear" "-")
((triple11) -> (rule3 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat visits the tiger.
True
3
proof
[(((((triple7) -> rule7)) -> rule1) OR ((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1))]
("cat" "visits" "tiger" "+")
((((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
((((((((triple8) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int4
The cat is not kind.
False
4
inv-proof
[(((((triple7) -> rule7) triple12) -> rule5) OR ((((((((triple8) -> rule1)) -> rule9)) -> rule7) triple12) -> rule5))]
("cat" "is" "kind" "-")
((((triple7) -> (rule7 % int2)) triple12) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
((((((((triple8) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int4
The cat likes the cat.
True
4
proof
[(((((((triple7) -> rule7)) -> rule1)) -> rule9) OR ((((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1)) -> rule9))]
("cat" "likes" "cat" "+")
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
((((((((((triple8) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int5
The cat does not like the cat.
False
4
inv-proof
[(((((((triple7) -> rule7)) -> rule1)) -> rule9) OR ((((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1)) -> rule9))]
("cat" "likes" "cat" "-")
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
((((((((((triple8) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int5
The bear is green.
True
6
proof
[(((((((((triple7) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2) OR ((((((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2))]
("bear" "is" "green" "+")
((((((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int4
((((((((((((triple8) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int4
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int5
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int6
The bear is not green.
False
6
inv-proof
[(((((((((triple7) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2) OR ((((((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2))]
("bear" "is" "green" "-")
((((((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int4
((((((((((((triple8) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int4
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int5
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int6
The bear needs the bear.
True
7
proof
[(((((((((((triple7) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2)) -> rule4) OR ((((((((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2)) -> rule4))]
("bear" "needs" "bear" "+")
((((((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int5
((((((((((((((triple8) -> (rule1 % int7))) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int5
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int6
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int7
The bear does not need the bear.
False
7
inv-proof
[(((((((((((triple7) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2)) -> rule4) OR ((((((((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2)) -> rule4))]
("bear" "needs" "bear" "-")
((((((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int5
((((((((((((((triple8) -> (rule1 % int7))) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int5
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int6
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int7
The bear does not visit the tiger.
Unknown
inv-rconc
[@1: The bear visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "tiger" "-")
The tiger needs the bear.
Unknown
rconc
[@1: The tiger needs the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "needs" "bear" "+")
The tiger is not kind.
Unknown
inv-rconc
[@1: The tiger is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "kind" "-")
The rabbit needs the bear.
Unknown
rconc
[@1: The rabbit needs the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "needs" "bear" "+")
The tiger does not need the rabbit.
Unknown
inv-rconc
[@1: The tiger needs the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "needs" "rabbit" "-")
The tiger visits the tiger.
Unknown
rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "tiger" "+")
The tiger does not visit the rabbit.
Unknown
inv-random
[@0: The tiger visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "rabbit" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The rabbit does not like the bear.
Unknown
inv-random
[@0: The rabbit likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bear" "-")
The tiger visits the cat.
Unknown
random
[@0: The tiger visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "cat" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bear is rough.[(triple1)] The bear likes the rabbit.[(triple2)] The bear likes the tiger.[(triple3)] The bear visits the rabbit.[(triple4)] The cat likes the bear.[(triple5)] The cat visits the rabbit.[(triple6)] The rabbit likes the cat.[(triple7 OR ((((triple8) -> rule1)) -> rule9))] The rabbit needs the tiger.[(triple8)] The tiger is cold.[(triple9)] The tiger likes the cat.[(triple10)] The tiger needs the cat.[(triple11)] The tiger visits the bear.[(triple12)] @1: The cat needs the tiger.[(((triple7) -> rule7) OR ((((((triple8) -> rule1)) -> rule9)) -> rule7))] The cat visits the bear.[(((triple11) -> rule3))] The rabbit is kind.[(((triple8 triple12) -> rule5))] The rabbit visits the tiger.[(((triple8) -> rule1))] @2: The cat is kind.[(((((triple7) -> rule7) triple12) -> rule5) OR ((((((((triple8) -> rule1)) -> rule9)) -> rule7) triple12) -> rule5))] The cat visits the tiger.[(((((triple7) -> rule7)) -> rule1) OR ((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1))] @3: The cat likes the cat.[(((((((triple7) -> rule7)) -> rule1)) -> rule9) OR ((((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1)) -> rule9))] @4: The bear is green.[(((((((((triple7) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2) OR ((((((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2))] @5: The bear needs the bear.[(((((((((((triple7) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2)) -> rule4) OR ((((((((((((((triple8) -> rule1)) -> rule9)) -> rule7)) -> rule1)) -> rule9) triple5) -> rule2)) -> rule4))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The cat likes the bear.
("cat" "likes" "bear" "+")
triple5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple6
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple7
((((triple8) -> (rule1 % int2))) -> (rule9 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple10
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple11
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12
The cat needs the tiger.
("cat" "needs" "tiger" "+")
((triple7) -> (rule7 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
((((((triple8) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int3
The cat visits the bear.
("cat" "visits" "bear" "+")
((triple11) -> (rule3 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple8 triple12) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
((triple8) -> (rule1 % int1))
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
((((triple7) -> (rule7 % int2)) triple12) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
((((((((triple8) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int4
The cat visits the tiger.
("cat" "visits" "tiger" "+")
((((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
((((((((triple8) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
((((((((((triple8) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int5
The bear is green.
("bear" "is" "green" "+")
((((((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int4
((((((((((((triple8) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int4
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int5
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int6
The bear needs the bear.
("bear" "needs" "bear" "+")
((((((((((triple7) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int5
((((((((((((((triple8) -> (rule1 % int7))) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int5
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int6
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int7