Anne is big. Anne is furry. Anne is nice. Anne is young. Fiona is big. Fiona is furry. Gary is furry. Harry is blue. Harry is nice. Harry is young. Nice, furry people are young. Young people are nice. If someone is young and big then they are blue. If Gary is nice then Gary is big. If Gary is big then Gary is young. All blue people are furry.
Harry is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((((triple4 triple1) -> rule3)) -> rule6))] Anne is nice.[(triple3 OR ((triple4) -> rule2))] Anne is young.[(triple4 OR ((triple3 triple2) -> rule1))] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Gary is furry.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9 OR ((triple10) -> rule2))] Harry is young.[(triple10 OR ((triple9 ((triple8) -> rule6)) -> rule1))] @1: Anne is blue.[(((triple4 triple1) -> rule3) OR ((((triple3 triple2) -> rule1) triple1) -> rule3))] Harry is furry.[(((triple8) -> rule6))]