Bob is big. Bob is round. Charlie is quiet. Fiona is not big. Fiona is blue. Gary is not big. Gary is rough. If something is quiet then it is young. All rough things are cold. If something is cold then it is quiet. If something is quiet and not young then it is round. Blue things are not round. If something is rough and not young then it is big. If something is round and cold then it is blue. Round, rough things are blue. If something is young then it is blue.
Fiona is not cold.
@0: Bob is big.[(triple1)] Bob is round.[(triple2)] Charlie is quiet.[(triple3)] Fiona is blue.[(triple5)] Fiona is not big.[(triple4)] Gary is not big.[(triple6)] Gary is rough.[(triple7)] @1: Charlie is young.[(((triple3) -> rule1))] Fiona is not round.[(((triple5) -> rule5))] Gary is cold.[(((triple7) -> rule2))] @2: Charlie is blue.[(((((triple3) -> rule1)) -> rule9))] Gary is quiet.[(((((triple7) -> rule2)) -> rule3))] @3: Charlie is not round.[(((((((triple3) -> rule1)) -> rule9)) -> rule5))] Gary is young.[(((((((triple7) -> rule2)) -> rule3)) -> rule1))] @4: Gary is blue.[(((((((((triple7) -> rule2)) -> rule3)) -> rule1)) -> rule9))] @5: Gary is not round.[(((((((((((triple7) -> rule2)) -> rule3)) -> rule1)) -> rule9)) -> rule5))]