Fiona is big. Fiona is red. Fiona is round. Harry is big. Harry is furry. Harry is round. Harry is young. All round, young things are red. If something is young then it is furry. If Fiona is red then Fiona is big. If Fiona is young then Fiona is furry. All furry, round things are smart. All big, furry things are young. If something is round then it is young. If something is young then it is furry.
Harry is not kind.
@0: Fiona is big.[(triple1 OR ((triple2) -> rule3) OR ((((triple3 ((triple3) -> rule7)) -> rule1)) -> rule3))] Fiona is red.[(triple2 OR ((triple3 ((triple3) -> rule7)) -> rule1))] Fiona is round.[(triple3)] Harry is big.[(triple4)] Harry is furry.[(triple5 OR ((triple7) -> rule2) OR ((triple7) -> rule8) OR ((((triple6) -> rule7)) -> rule2) OR ((((triple6) -> rule7)) -> rule8))] Harry is round.[(triple6)] Harry is young.[(triple7 OR ((triple6) -> rule7) OR ((triple4 triple5) -> rule6))] @1: Fiona is young.[(((triple3) -> rule7))] Harry is red.[(((triple6 triple7) -> rule1) OR ((triple6 ((triple6) -> rule7)) -> rule1) OR ((triple6 ((triple4 triple5) -> rule6)) -> rule1))] Harry is smart.[(((triple5 triple6) -> rule5) OR ((((triple7) -> rule2) triple6) -> rule5) OR ((((triple7) -> rule8) triple6) -> rule5) OR ((((((triple6) -> rule7)) -> rule2) triple6) -> rule5) OR ((((((triple6) -> rule7)) -> rule8) triple6) -> rule5))] @2: Fiona is furry.[(((((triple3) -> rule7)) -> rule2) OR ((((triple3) -> rule7)) -> rule4) OR ((((triple3) -> rule7)) -> rule8))] @3: Fiona is smart.[(((((((triple3) -> rule7)) -> rule2) triple3) -> rule5) OR ((((((triple3) -> rule7)) -> rule4) triple3) -> rule5) OR ((((((triple3) -> rule7)) -> rule8) triple3) -> rule5))]