Charlie is nice. Charlie is quiet. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Gary is blue. Gary is cold. Gary is furry. Gary is nice. If someone is quiet then they are blue. All cold people are kind. If someone is blue then they are cold.
Charlie is not cold.
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2)] Fiona is blue.[(triple3 OR ((triple7) -> rule1))] Fiona is cold.[(triple4 OR ((triple3) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Fiona is furry.[(triple5)] Fiona is kind.[(triple6 OR ((triple4) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((((triple7) -> rule1)) -> rule3)) -> rule2))] Fiona is quiet.[(triple7)] Fiona is round.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10 OR ((triple9) -> rule3))] Gary is furry.[(triple11)] Gary is nice.[(triple12)] @1: Charlie is blue.[(((triple2) -> rule1))] Gary is kind.[(((triple10) -> rule2) OR ((((triple9) -> rule3)) -> rule2))] @2: Charlie is cold.[(((((triple2) -> rule1)) -> rule3))] @3: Charlie is kind.[(((((((triple2) -> rule1)) -> rule3)) -> rule2))]