Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is round. Red, furry people are cold. All furry, nice people are round. Kind, furry people are red. If someone is kind then they are round. If someone is cold and round then they are furry. If someone is furry and cold then they are blue.
Harry is kind.
@0: Harry is blue.[(triple1 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple6 triple3) -> rule1)) -> rule6) OR ((((triple2 triple7) -> rule5) triple2) -> rule6) OR ((((triple2 triple7) -> rule5) ((triple6 triple3) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple3) -> rule3) triple3) -> rule1)) -> rule6) OR ((((triple2 ((triple4) -> rule4)) -> rule5) triple2) -> rule6) OR ((((triple2 triple7) -> rule5) ((((triple4 triple3) -> rule3) triple3) -> rule1)) -> rule6) OR ((((triple2 ((triple4) -> rule4)) -> rule5) ((triple6 triple3) -> rule1)) -> rule6) OR ((((triple2 ((triple4) -> rule4)) -> rule5) ((((triple4 triple3) -> rule3) triple3) -> rule1)) -> rule6))] Harry is cold.[(triple2 OR ((triple6 triple3) -> rule1) OR ((((triple4 triple3) -> rule3) triple3) -> rule1))] Harry is furry.[(triple3 OR ((triple2 triple7) -> rule5) OR ((triple2 ((triple4) -> rule4)) -> rule5))] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is red.[(triple6 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple2 triple7) -> rule5)) -> rule3) OR ((triple4 ((triple2 ((triple4) -> rule4)) -> rule5)) -> rule3))] Harry is round.[(triple7 OR ((triple4) -> rule4) OR ((triple3 triple5) -> rule2))]