The rabbit is blue. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. If something is young and blue then it is nice. If something is nice and young then it is round. If the rabbit is round then the rabbit is nice. If the rabbit is red and the rabbit is blue then the rabbit is round. If the rabbit is young then the rabbit is nice. If the rabbit is blue and the rabbit is round then the rabbit is young.
The rabbit does not like the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is nice.[(triple2 OR ((triple4) -> rule3) OR ((triple5) -> rule5) OR ((triple5 triple1) -> rule1) OR ((((triple1 triple4) -> rule6)) -> rule5) OR ((((triple3 triple1) -> rule4)) -> rule3) OR ((((triple1 triple4) -> rule6) triple1) -> rule1) OR ((((triple1 ((triple3 triple1) -> rule4)) -> rule6)) -> rule5) OR ((((triple1 ((triple3 triple1) -> rule4)) -> rule6) triple1) -> rule1))] The rabbit is red.[(triple3)] The rabbit is round.[(triple4 OR ((triple2 triple5) -> rule2) OR ((triple3 triple1) -> rule4) OR ((((triple5) -> rule5) triple5) -> rule2) OR ((((triple5 triple1) -> rule1) triple5) -> rule2))] The rabbit is young.[(triple5 OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple3 triple1) -> rule4)) -> rule6))]