Charlie is furry. Charlie is round. Dave is blue. Dave is cold. Dave is not quiet. Dave is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is not quiet. Fiona is round. Fiona is smart. Gary is nice. Gary is round. Gary is smart. If Gary is blue then Gary is cold. If Gary is smart and Gary is not furry then Gary is cold. If Gary is furry then Gary is not cold. If something is blue and not nice then it is not smart. If something is cold then it is not quiet. If something is nice then it is blue. If something is nice and not smart then it is round. Furry things are round.
Charlie is nice.
@0: Charlie is furry.[(triple1)] Charlie is round.[(triple2 OR ((triple1) -> rule8))] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is not quiet.[(triple5 OR ((triple4) -> rule5))] Dave is smart.[(triple6)] Fiona is blue.[(triple7 OR ((triple10) -> rule6))] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is not quiet.[(triple11 OR ((triple8) -> rule5))] Fiona is round.[(triple12 OR ((triple9) -> rule8))] Fiona is smart.[(triple13)] Gary is nice.[(triple14)] Gary is round.[(triple15)] Gary is smart.[(triple16)] @1: Gary is blue.[(((triple14) -> rule6))] @2: Gary is cold.[(((((triple14) -> rule6)) -> rule1))] @3: Gary is not quiet.[(((((((triple14) -> rule6)) -> rule1)) -> rule5))]