Anne is cold. Anne is rough. Anne is not round. Charlie is blue. Charlie is furry. Charlie is rough. Charlie is round. Charlie is smart. Charlie is not young. Erin is not cold. Erin is young. Harry is blue. Harry is rough. Harry is round. Harry is young. Furry things are blue. If Charlie is smart and Charlie is cold then Charlie is young. If Erin is furry and Erin is not blue then Erin is round. If something is furry and not blue then it is young. Young things are not cold. If something is blue and not young then it is rough. Furry, rough things are round. If Charlie is blue and Charlie is not young then Charlie is rough.
Charlie is cold.
@0: Anne is cold.[(triple1)] Anne is not round.[(triple3)] Anne is rough.[(triple2)] Charlie is blue.[(triple4 OR ((triple5) -> rule1))] Charlie is furry.[(triple5)] Charlie is not young.[(triple9)] Charlie is rough.[(triple6 OR ((triple4 triple9) -> rule6) OR ((triple4 triple9) -> rule8) OR ((((triple5) -> rule1) triple9) -> rule6) OR ((((triple5) -> rule1) triple9) -> rule8))] Charlie is round.[(triple7 OR ((triple5 triple6) -> rule7) OR ((triple5 ((triple4 triple9) -> rule6)) -> rule7) OR ((triple5 ((triple4 triple9) -> rule8)) -> rule7) OR ((triple5 ((((triple5) -> rule1) triple9) -> rule6)) -> rule7) OR ((triple5 ((((triple5) -> rule1) triple9) -> rule8)) -> rule7))] Charlie is smart.[(triple8)] Erin is not cold.[(triple10 OR ((triple11) -> rule5))] Erin is young.[(triple11)] Harry is blue.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Harry is not cold.[(((triple15) -> rule5))]