The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit is round. If the rabbit is rough then the rabbit is round. If the rabbit is blue then the rabbit is kind. If the rabbit is round and the rabbit is blue then the rabbit is nice. All nice, rough things are blue. If something is rough and round then it is blue. If the rabbit is nice then the rabbit is rough.
The rabbit is not rough.
@0: The rabbit is blue.[(triple1 OR ((triple3 triple4) -> rule4) OR ((triple4 triple5) -> rule5) OR ((triple3 ((triple3) -> rule6)) -> rule4) OR ((triple4 ((triple4) -> rule1)) -> rule5) OR ((((triple3) -> rule6) triple5) -> rule5) OR ((((triple3) -> rule6) ((triple4) -> rule1)) -> rule5) OR ((triple4 ((((triple3) -> rule6)) -> rule1)) -> rule5) OR ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule1)) -> rule5))] The rabbit is kind.[(triple2 OR ((triple1) -> rule2) OR ((((triple3 triple4) -> rule4)) -> rule2) OR ((((triple4 triple5) -> rule5)) -> rule2) OR ((((triple3 ((triple3) -> rule6)) -> rule4)) -> rule2) OR ((((triple4 ((triple4) -> rule1)) -> rule5)) -> rule2) OR ((((((triple3) -> rule6) triple5) -> rule5)) -> rule2) OR ((((((triple3) -> rule6) ((triple4) -> rule1)) -> rule5)) -> rule2) OR ((((triple4 ((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule2))] The rabbit is nice.[(triple3 OR ((triple5 triple1) -> rule3) OR ((triple5 ((triple4 triple5) -> rule5)) -> rule3) OR ((((triple4) -> rule1) triple1) -> rule3) OR ((((triple4) -> rule1) ((triple4 triple5) -> rule5)) -> rule3) OR ((triple5 ((triple4 ((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((triple4) -> rule1) ((triple4 ((triple4) -> rule1)) -> rule5)) -> rule3))] The rabbit is rough.[(triple4 OR ((triple3) -> rule6) OR ((((triple5 triple1) -> rule3)) -> rule6))] The rabbit is round.[(triple5 OR ((triple4) -> rule1) OR ((((triple3) -> rule6)) -> rule1))]