The bear eats the rabbit. The bear is rough. The bear needs the cow. The bear sees the cow. The cow eats the rabbit. The cow is green. The cow is rough. The cow needs the lion. The cow sees the rabbit. The lion eats the rabbit. The lion is blue. The rabbit is green. The rabbit needs the bear. The rabbit needs the lion. The rabbit sees the cow. The rabbit sees the lion. Big people are blue. If the bear needs the lion then the lion is round. If someone sees the lion then they need the lion. If someone sees the lion and the lion is blue then the lion sees the cow. If someone is rough then they see the lion. If someone sees the lion then the lion is rough. If someone needs the bear and the bear eats the rabbit then they eat the cow. If someone eats the bear and they need the rabbit then the rabbit needs the bear. If someone is round then they need the bear.
The lion is round.
@0: The bear eats the rabbit.[(triple1)] The bear is rough.[(triple2)] The bear needs the cow.[(triple3)] The bear sees the cow.[(triple4)] The cow eats the rabbit.[(triple5)] The cow is green.[(triple6)] The cow is rough.[(triple7)] The cow needs the lion.[(triple8 OR ((((triple7) -> rule5)) -> rule3))] The cow sees the rabbit.[(triple9)] The lion eats the rabbit.[(triple10)] The lion is blue.[(triple11)] The rabbit is green.[(triple12)] The rabbit needs the bear.[(triple13)] The rabbit needs the lion.[(triple14 OR ((triple16) -> rule3))] The rabbit sees the cow.[(triple15)] The rabbit sees the lion.[(triple16)] @1: The bear sees the lion.[(((triple2) -> rule5))] The cow sees the lion.[(((triple7) -> rule5))] The lion is rough.[(((triple16) -> rule6) OR ((((triple2) -> rule5)) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] The lion sees the cow.[(((triple16 triple11) -> rule4) OR ((((triple2) -> rule5) triple11) -> rule4) OR ((((triple7) -> rule5) triple11) -> rule4) OR ((((((triple16) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((((triple2) -> rule5)) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((((triple7) -> rule5)) -> rule6)) -> rule5) triple11) -> rule4))] The rabbit eats the cow.[(((triple13 triple1) -> rule7))] @2: The bear needs the lion.[(((((triple2) -> rule5)) -> rule3))] The lion sees the lion.[(((((triple16) -> rule6)) -> rule5) OR ((((((triple2) -> rule5)) -> rule6)) -> rule5) OR ((((((triple7) -> rule5)) -> rule6)) -> rule5))] @3: The lion is round.[(((((((triple2) -> rule5)) -> rule3)) -> rule2))] The lion needs the lion.[(((((((triple16) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple2) -> rule5)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple7) -> rule5)) -> rule6)) -> rule5)) -> rule3))] @4: The lion needs the bear.[(((((((((triple2) -> rule5)) -> rule3)) -> rule2)) -> rule9))] @5: The lion eats the cow.[(((((((((((triple2) -> rule5)) -> rule3)) -> rule2)) -> rule9) triple1) -> rule7))]