The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is round. The rabbit is young. If the rabbit is round and the rabbit is blue then the rabbit is young. If someone is round and nice then they are young. Nice, blue people are young. If someone is blue and nice then they are young. If someone is young and blue then they are cold. If someone is young and round then they are cold. Nice, blue people are cold. If someone is cold then they are blue.
The rabbit visits the rabbit.
@0: The rabbit is blue.[(triple1 OR ((triple2) -> rule8) OR ((((triple5 triple4) -> rule6)) -> rule8) OR ((((((triple4 triple3) -> rule2) triple4) -> rule6)) -> rule8))] The rabbit is cold.[(triple2 OR ((triple3 triple1) -> rule7) OR ((triple5 triple1) -> rule5) OR ((triple5 triple4) -> rule6) OR ((((triple1 triple3) -> rule4) triple1) -> rule5) OR ((((triple1 triple3) -> rule4) triple4) -> rule6) OR ((((triple3 triple1) -> rule3) triple1) -> rule5) OR ((((triple3 triple1) -> rule3) triple4) -> rule6) OR ((((triple4 triple1) -> rule1) triple1) -> rule5) OR ((((triple4 triple1) -> rule1) triple4) -> rule6) OR ((((triple4 triple3) -> rule2) triple1) -> rule5) OR ((((triple4 triple3) -> rule2) triple4) -> rule6))] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5 OR ((triple1 triple3) -> rule4) OR ((triple3 triple1) -> rule3) OR ((triple4 triple1) -> rule1) OR ((triple4 triple3) -> rule2) OR ((triple3 ((triple2) -> rule8)) -> rule3) OR ((triple4 ((triple2) -> rule8)) -> rule1) OR ((((triple2) -> rule8) triple3) -> rule4))]