Charlie is round. Dave is blue. Dave is nice. Fiona is big. Fiona is not kind. Fiona is nice. Gary is nice. If something is kind then it is blue. Round, cold things are nice. Round, big things are cold. If something is big and not round then it is not cold. If something is quiet then it is big. If something is round then it is quiet. If Gary is big and Gary is cold then Gary is kind. Cold, round things are kind.
Charlie is not quiet.
@0: Charlie is round.[(triple1)] Dave is blue.[(triple2)] Dave is nice.[(triple3)] Fiona is big.[(triple4)] Fiona is nice.[(triple6)] Fiona is not kind.[(triple5)] Gary is nice.[(triple7)] @1: Charlie is quiet.[(((triple1) -> rule6))] @2: Charlie is big.[(((((triple1) -> rule6)) -> rule5))] @3: Charlie is cold.[(((triple1 ((((triple1) -> rule6)) -> rule5)) -> rule3))] @4: Charlie is kind.[(((((triple1 ((((triple1) -> rule6)) -> rule5)) -> rule3) triple1) -> rule8))] Charlie is nice.[(((triple1 ((triple1 ((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule2))] @5: Charlie is blue.[(((((((triple1 ((((triple1) -> rule6)) -> rule5)) -> rule3) triple1) -> rule8)) -> rule1))]