Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. If something is green and kind then it is round. All blue things are rough. All blue, furry things are green. Nice, green things are rough. All blue things are furry. If something is nice and furry then it is round.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple1) -> rule5))] Charlie is green.[(triple3 OR ((triple1 triple2) -> rule3) OR ((triple1 ((triple1) -> rule5)) -> rule3))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is rough.[(triple6 OR ((triple1) -> rule2) OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple1 triple2) -> rule3)) -> rule4) OR ((triple5 ((triple1 ((triple1) -> rule5)) -> rule3)) -> rule4))] Charlie is round.[(triple7 OR ((triple3 triple4) -> rule1) OR ((triple5 triple2) -> rule6) OR ((triple5 ((triple1) -> rule5)) -> rule6) OR ((((triple1 triple2) -> rule3) triple4) -> rule1) OR ((((triple1 ((triple1) -> rule5)) -> rule3) triple4) -> rule1))]