Charlie is big. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is young. Gary is blue. Gary is nice. Gary is red. Harry is blue. Harry is nice. Harry is red. Harry is rough. If someone is furry and red then they are nice. All rough people are big. Rough, furry people are blue.
Gary is nice.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule2))] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is rough.[(triple4)] Charlie is young.[(triple5)] Gary is blue.[(triple6)] Gary is nice.[(triple7)] Gary is red.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Charlie is blue.[(((triple4 triple2) -> rule3))] Harry is big.[(((triple12) -> rule2))]