The cat is red. The cat needs the lion. The cat visits the squirrel. The lion is cold. The lion is young. The lion needs the cat. The lion needs the squirrel. The squirrel is cold. The squirrel is rough. The squirrel needs the cat. The squirrel needs the lion. The squirrel visits the cat. If someone is young then they need the squirrel. If the squirrel is red then the squirrel needs the lion. If someone needs the cat and the cat sees the squirrel then the squirrel is rough. If someone visits the lion then the lion needs the squirrel. If someone needs the squirrel then they are red. If someone visits the cat and they are red then they see the squirrel. If someone visits the squirrel then the squirrel is young. If someone is rough and they see the squirrel then they are green.
The lion is rough.
@0: The cat is red.[(triple1)] The cat needs the lion.[(triple2)] The cat visits the squirrel.[(triple3)] The lion is cold.[(triple4)] The lion is young.[(triple5)] The lion needs the cat.[(triple6)] The lion needs the squirrel.[(triple7 OR ((triple5) -> rule1))] The squirrel is cold.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the cat.[(triple10)] The squirrel needs the lion.[(triple11 OR ((((((((triple3) -> rule7)) -> rule1)) -> rule5)) -> rule2))] The squirrel visits the cat.[(triple12)] @1: The lion is red.[(((triple7) -> rule5) OR ((((triple5) -> rule1)) -> rule5))] The squirrel is young.[(((triple3) -> rule7))] @2: The squirrel needs the squirrel.[(((((triple3) -> rule7)) -> rule1))] @3: The squirrel is red.[(((((((triple3) -> rule7)) -> rule1)) -> rule5))] @4: The squirrel sees the squirrel.[(((triple12 ((((((triple3) -> rule7)) -> rule1)) -> rule5)) -> rule6))] @5: The squirrel is green.[(((triple9 ((triple12 ((((((triple3) -> rule7)) -> rule1)) -> rule5)) -> rule6)) -> rule8))]