Anne is big. Anne is rough. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is blue. Gary is nice. Gary is smart. If Fiona is blue then Fiona is quiet. All big, quiet people are blue. If someone is smart then they are big. If Gary is smart then Gary is cold. All cold, nice people are quiet. If someone is quiet and cold then they are rough.
Gary is big.
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Fiona is blue.[(triple3 OR ((((triple7) -> rule3) triple6) -> rule2) OR ((((triple7) -> rule3) ((triple4 triple5) -> rule5)) -> rule2))] Fiona is cold.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6 OR ((triple3) -> rule1) OR ((triple4 triple5) -> rule5))] Fiona is smart.[(triple7)] Gary is blue.[(triple8 OR ((((triple10) -> rule3) ((((triple10) -> rule4) triple9) -> rule5)) -> rule2))] Gary is nice.[(triple9)] Gary is smart.[(triple10)] @1: Fiona is big.[(((triple7) -> rule3))] Fiona is rough.[(((triple6 triple4) -> rule6) OR ((((triple3) -> rule1) triple4) -> rule6) OR ((((triple4 triple5) -> rule5) triple4) -> rule6))] Gary is big.[(((triple10) -> rule3))] Gary is cold.[(((triple10) -> rule4))] @2: Gary is quiet.[(((((triple10) -> rule4) triple9) -> rule5))] @3: Gary is rough.[(((((((triple10) -> rule4) triple9) -> rule5) ((triple10) -> rule4)) -> rule6))]