Fiona is blue. Fiona is furry. Fiona is nice. Fiona is red. Fiona is rough. Fiona is young. Gary is blue. Gary is red. Gary is rough. Gary is not young. If Gary is kind then Gary is young. If Gary is kind and Gary is red then Gary is blue. If something is kind then it is nice. Nice, rough things are kind. All rough, nice things are kind. Blue, rough things are red. All kind things are young. If something is blue and not kind then it is young.
Gary is rough.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is nice.[(triple3)] Fiona is red.[(triple4 OR ((triple1 triple5) -> rule6))] Fiona is rough.[(triple5)] Fiona is young.[(triple6 OR ((((triple3 triple5) -> rule4)) -> rule7) OR ((((triple5 triple3) -> rule5)) -> rule7))] Gary is blue.[(triple7)] Gary is not young.[(triple10)] Gary is red.[(triple8 OR ((triple7 triple9) -> rule6))] Gary is rough.[(triple9)] @1: Fiona is kind.[(((triple3 triple5) -> rule4) OR ((triple5 triple3) -> rule5))]