The bear sees the squirrel. The bear visits the rabbit. The lion is not round. The lion does not like the rabbit. The lion visits the bear. The rabbit is not big. The rabbit is kind. The rabbit likes the squirrel. The rabbit sees the bear. The rabbit does not visit the bear. The squirrel visits the lion. If something is big and it visits the lion then the lion visits the rabbit. If something sees the lion then it does not like the lion. If something likes the squirrel then the squirrel visits the rabbit. If something sees the squirrel and it visits the squirrel then the squirrel does not see the lion. If something visits the lion then the lion is not round. If something sees the lion and it does not see the bear then it sees the squirrel. If something visits the rabbit then it sees the lion. If something sees the lion then it is big.
The squirrel is not kind.
@0: The bear sees the squirrel.[(triple1)] The bear visits the rabbit.[(triple2)] The lion does not like the rabbit.[(triple4)] The lion is not round.[(triple3 OR ((triple11) -> rule5))] The lion visits the bear.[(triple5)] The rabbit does not visit the bear.[(triple10)] The rabbit is kind.[(triple7)] The rabbit is not big.[(triple6)] The rabbit likes the squirrel.[(triple8)] The rabbit sees the bear.[(triple9)] The squirrel visits the lion.[(triple11)] @1: The bear sees the lion.[(((triple2) -> rule7))] The squirrel visits the rabbit.[(((triple8) -> rule3))] @2: The bear does not like the lion.[(((((triple2) -> rule7)) -> rule2))] The bear is big.[(((((triple2) -> rule7)) -> rule8))] The squirrel sees the lion.[(((((triple8) -> rule3)) -> rule7))] @3: The squirrel does not like the lion.[(((((((triple8) -> rule3)) -> rule7)) -> rule2))] The squirrel is big.[(((((((triple8) -> rule3)) -> rule7)) -> rule8))] @4: The lion visits the rabbit.[(((((((((triple8) -> rule3)) -> rule7)) -> rule8) triple11) -> rule1))] @5: The lion sees the lion.[(((((((((((triple8) -> rule3)) -> rule7)) -> rule8) triple11) -> rule1)) -> rule7))] @6: The lion does not like the lion.[(((((((((((((triple8) -> rule3)) -> rule7)) -> rule8) triple11) -> rule1)) -> rule7)) -> rule2))] The lion is big.[(((((((((((((triple8) -> rule3)) -> rule7)) -> rule8) triple11) -> rule1)) -> rule7)) -> rule8))]