Charlie is cold. Charlie is nice. Dave is cold. Erin is cold. Gary is kind. Gary is not red. Gary is round. All red things are kind. If Erin is cold then Erin is red. All nice things are rough. All cold, white things are rough. All white, round things are nice. Kind, cold things are nice. If something is nice and rough then it is round. All rough things are red. All cold, kind things are red.
Erin is not rough.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Dave is cold.[(triple3)] Erin is cold.[(triple4)] Gary is kind.[(triple5)] Gary is not red.[(triple6)] Gary is round.[(triple7)] @1: Charlie is rough.[(((triple2) -> rule3))] Erin is red.[(((triple4) -> rule2))] @2: Charlie is red.[(((((triple2) -> rule3)) -> rule8))] Charlie is round.[(((triple2 ((triple2) -> rule3)) -> rule7))] Erin is kind.[(((((triple4) -> rule2)) -> rule1))] @3: Charlie is kind.[(((((((triple2) -> rule3)) -> rule8)) -> rule1))] Erin is nice.[(((((((triple4) -> rule2)) -> rule1) triple4) -> rule6))] @4: Erin is rough.[(((((((((triple4) -> rule2)) -> rule1) triple4) -> rule6)) -> rule3))] @5: Erin is round.[(((((((((triple4) -> rule2)) -> rule1) triple4) -> rule6) ((((((((triple4) -> rule2)) -> rule1) triple4) -> rule6)) -> rule3)) -> rule7))]