Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is rough. Harry is round. Harry is smart. If something is furry then it is rough. If something is rough then it is round. If something is round then it is furry. Big things are smart. All rough things are nice. If Harry is blue then Harry is big.
Harry is big.
@0: Harry is big.[(triple1 OR ((triple2) -> rule6))] Harry is blue.[(triple2)] Harry is furry.[(triple3 OR ((triple6) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Harry is nice.[(triple4 OR ((triple5) -> rule5) OR ((((triple3) -> rule1)) -> rule5) OR ((((((triple6) -> rule3)) -> rule1)) -> rule5))] Harry is rough.[(triple5 OR ((triple3) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] Harry is round.[(triple6 OR ((triple5) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Harry is smart.[(triple7 OR ((triple1) -> rule4) OR ((((triple2) -> rule6)) -> rule4))]