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