Bob is red. Charlie is smart. Erin is not red. Fiona is kind. White things are red. If something is kind and smart then it is white. If something is kind then it is white. Smart things are not round. If something is blue and not smart then it is round. If something is red then it is round. All smart things are blue. If something is round and not smart then it is cold.
Charlie is cold.
@0: Bob is red.[(triple1)] Charlie is smart.[(triple2)] Erin is not red.[(triple3)] Fiona is kind.[(triple4)] @1: Bob is round.[(((triple1) -> rule6))] Charlie is blue.[(((triple2) -> rule7))] Charlie is not round.[(((triple2) -> rule4))] Fiona is white.[(((triple4) -> rule3))] @2: Fiona is red.[(((((triple4) -> rule3)) -> rule1))] @3: Fiona is round.[(((((((triple4) -> rule3)) -> rule1)) -> rule6))]