The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit likes the squirrel. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel likes the rabbit. The squirrel needs the rabbit. The squirrel visits the rabbit. If something is big and it needs the squirrel then it is kind. If something needs the squirrel then it needs the rabbit. If something needs the squirrel and the squirrel visits the rabbit then the squirrel is big. If something visits the rabbit then it needs the rabbit. If something needs the squirrel then the squirrel likes the rabbit. If something is big then it visits the squirrel. If something likes the squirrel and the squirrel likes the rabbit then the rabbit is red. If something is kind and nice then it likes the squirrel.
The rabbit likes the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is kind.[(triple3 OR ((triple1 triple7) -> rule1))] The rabbit is nice.[(triple4)] The rabbit is red.[(triple5 OR ((triple6 triple14) -> rule7) OR ((triple6 ((triple7) -> rule5)) -> rule7) OR ((((triple11 triple12) -> rule8) triple14) -> rule7) OR ((((triple3 triple4) -> rule8) triple14) -> rule7) OR ((((triple11 triple12) -> rule8) ((triple7) -> rule5)) -> rule7) OR ((((triple3 triple4) -> rule8) ((triple7) -> rule5)) -> rule7) OR ((((((triple1 triple7) -> rule1) triple4) -> rule8) triple14) -> rule7) OR ((((((triple1 triple7) -> rule1) triple4) -> rule8) ((triple7) -> rule5)) -> rule7))] The rabbit likes the squirrel.[(triple6 OR ((triple3 triple4) -> rule8) OR ((((triple1 triple7) -> rule1) triple4) -> rule8))] The rabbit needs the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8 OR ((triple1) -> rule6))] The squirrel is big.[(triple9 OR ((triple7 triple16) -> rule3))] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13)] The squirrel likes the rabbit.[(triple14 OR ((triple7) -> rule5))] The squirrel needs the rabbit.[(triple15 OR ((triple16) -> rule4))] The squirrel visits the rabbit.[(triple16)] @1: The rabbit needs the rabbit.[(((triple7) -> rule2))] The squirrel likes the squirrel.[(((triple11 triple12) -> rule8))] The squirrel visits the squirrel.[(((triple9) -> rule6) OR ((((triple7 triple16) -> rule3)) -> rule6))]