Bob is kind. Erin is white. Fiona is not quiet. Gary is cold. If something is big and cold then it is red. If something is nice then it is quiet. Kind things are quiet. All white, kind things are big. All nice things are white. Quiet things are nice. If something is white and not cold then it is not nice. If something is big then it is nice.
Bob is white.
@0: Bob is kind.[(triple1)] Erin is white.[(triple2)] Fiona is not quiet.[(triple3)] Gary is cold.[(triple4)] @1: Bob is quiet.[(((triple1) -> rule3))] @2: Bob is nice.[(((((triple1) -> rule3)) -> rule6))] @3: Bob is white.[(((((((triple1) -> rule3)) -> rule6)) -> rule5))] @4: Bob is big.[(((((((((triple1) -> rule3)) -> rule6)) -> rule5) triple1) -> rule4))]