The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is rough. The rabbit is round. Rough people are big. Rough people are round. Big people are round. Kind people are blue. If someone is big and not round then they are kind. Big people are kind. Round people are kind. If the rabbit is round and the rabbit is blue then the rabbit is kind.
The rabbit needs the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple4) -> rule1))] The rabbit is blue.[(triple2 OR ((triple3) -> rule4) OR ((((triple1) -> rule6)) -> rule4) OR ((((triple5) -> rule7)) -> rule4) OR ((((((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple4) -> rule1)) -> rule6)) -> rule4) OR ((((((triple4) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple4) -> rule1)) -> rule3)) -> rule7)) -> rule4))] The rabbit is kind.[(triple3 OR ((triple1) -> rule6) OR ((triple5) -> rule7) OR ((triple5 triple2) -> rule8) OR ((((triple1) -> rule3)) -> rule7) OR ((((triple4) -> rule1)) -> rule6) OR ((((triple4) -> rule2)) -> rule7) OR ((((triple1) -> rule3) triple2) -> rule8) OR ((((triple4) -> rule2) triple2) -> rule8) OR ((((((triple4) -> rule1)) -> rule3)) -> rule7) OR ((((((triple4) -> rule1)) -> rule3) triple2) -> rule8))] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5 OR ((triple1) -> rule3) OR ((triple4) -> rule2) OR ((((triple4) -> rule1)) -> rule3))]