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