Charlie is big. Charlie is blue. Charlie is furry. Charlie is rough. Charlie is smart. Charlie is young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is young. Gary is not big. Gary is blue. Gary is not young. Blue, kind things are rough. Young, big things are rough. If something is kind then it is blue. If something is rough and not big then it is not young. If something is big and not rough then it is smart. Blue things are smart.
Charlie is kind.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is rough.[(triple4 OR ((triple6 triple1) -> rule2))] Charlie is smart.[(triple5 OR ((triple2) -> rule6))] Charlie is young.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8 OR ((triple10) -> rule3))] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is rough.[(triple11 OR ((triple13 triple7) -> rule2) OR ((triple8 triple10) -> rule1) OR ((((triple10) -> rule3) triple10) -> rule1))] Fiona is smart.[(triple12 OR ((triple8) -> rule6) OR ((((triple10) -> rule3)) -> rule6))] Fiona is young.[(triple13)] Gary is blue.[(triple15)] Gary is not big.[(triple14)] Gary is not young.[(triple16)] @1: Gary is smart.[(((triple15) -> rule6))]