Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. Gary is rough. Gary is round. Harry is big. Harry is blue. Harry is green. Harry is kind. Harry is rough. Harry is round. Green, blue things are kind. If Charlie is blue then Charlie is round. Green, furry things are kind. Blue things are round. Kind things are blue. If Gary is blue then Gary is green.
Gary is big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple5) -> rule5) OR ((((triple4 triple3) -> rule3)) -> rule5))] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5 OR ((triple4 triple2) -> rule1) OR ((triple4 triple3) -> rule3))] Charlie is rough.[(triple6)] Charlie is round.[(triple7 OR ((triple2) -> rule2) OR ((triple2) -> rule4) OR ((((triple5) -> rule5)) -> rule2) OR ((((triple5) -> rule5)) -> rule4) OR ((((((triple4 triple3) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4 triple3) -> rule3)) -> rule5)) -> rule4))] Gary is rough.[(triple8)] Gary is round.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11 OR ((triple13) -> rule5))] Harry is green.[(triple12)] Harry is kind.[(triple13 OR ((triple12 triple11) -> rule1))] Harry is rough.[(triple14)] Harry is round.[(triple15 OR ((triple11) -> rule4) OR ((((triple13) -> rule5)) -> rule4))]