The bear is round. The bear likes the cow. The bear visits the lion. The cow is big. The cow is rough. The lion needs the bear. The mouse likes the lion. If someone visits the lion then they are round. If someone needs the bear then they need the lion. If someone needs the lion then they visit the lion. If someone visits the lion and the lion is round then they like the lion. If someone is rough then they need the lion. If someone likes the lion and they need the lion then the lion visits the mouse. If someone is rough then they visit the lion. If someone likes the lion and the lion is big then they are kind.
The bear does not like the cow.
@0: The bear is round.[(triple1 OR ((triple3) -> rule1))] The bear likes the cow.[(triple2)] The bear visits the lion.[(triple3)] The cow is big.[(triple4)] The cow is rough.[(triple5)] The lion needs the bear.[(triple6)] The mouse likes the lion.[(triple7)] @1: The cow needs the lion.[(((triple5) -> rule5))] The cow visits the lion.[(((triple5) -> rule7) OR ((((triple5) -> rule5)) -> rule3))] The lion needs the lion.[(((triple6) -> rule2))] @2: The cow is round.[(((((triple5) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3)) -> rule1))] The lion visits the lion.[(((((triple6) -> rule2)) -> rule3))] @3: The lion is round.[(((((((triple6) -> rule2)) -> rule3)) -> rule1))] @4: The bear likes the lion.[(((triple3 ((((((triple6) -> rule2)) -> rule3)) -> rule1)) -> rule4))] The cow likes the lion.[(((((triple5) -> rule7) ((((((triple6) -> rule2)) -> rule3)) -> rule1)) -> rule4) OR ((((((triple5) -> rule5)) -> rule3) ((((((triple6) -> rule2)) -> rule3)) -> rule1)) -> rule4))] The lion likes the lion.[(((((((triple6) -> rule2)) -> rule3) ((((((triple6) -> rule2)) -> rule3)) -> rule1)) -> rule4))] @5: The lion visits the mouse.[(((((((triple5) -> rule7) ((((((triple6) -> rule2)) -> rule3)) -> rule1)) -> rule4) ((triple5) -> rule5)) -> rule6) OR ((((((((triple5) -> rule5)) -> rule3) ((((((triple6) -> rule2)) -> rule3)) -> rule1)) -> rule4) ((triple5) -> rule5)) -> rule6) OR ((((((((triple6) -> rule2)) -> rule3) ((((((triple6) -> rule2)) -> rule3)) -> rule1)) -> rule4) ((triple6) -> rule2)) -> rule6))]