Fiona is blue. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is white. Gary is blue. Gary is cold. Gary is kind. Gary is red. Gary is rough. Gary is round. Gary is white. All kind things are red. If Gary is rough and Gary is blue then Gary is cold. If something is red and kind then it is round.
Fiona is round.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is kind.[(triple3)] Fiona is rough.[(triple4)] Fiona is white.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7 OR ((triple10 triple6) -> rule2))] Gary is kind.[(triple8)] Gary is red.[(triple9 OR ((triple8) -> rule1))] Gary is rough.[(triple10)] Gary is round.[(triple11 OR ((triple9 triple8) -> rule3) OR ((((triple8) -> rule1) triple8) -> rule3))] Gary is white.[(triple12)] @1: Fiona is red.[(((triple3) -> rule1))] @2: Fiona is round.[(((((triple3) -> rule1) triple3) -> rule3))]