Anne is blue. Anne is quiet. Anne is red. Anne is rough. Anne is round. Charlie is blue. Charlie is not cold. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. If someone is cold and not red then they are quiet. If someone is smart and round then they are quiet. If Charlie is cold then Charlie is round. If Charlie is blue then Charlie is smart. If someone is smart and not red then they are cold. Blue people are smart. Red people are round. If Anne is round and Anne is not cold then Anne is not rough.
Charlie is red.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2 OR ((((triple1) -> rule6) triple5) -> rule2) OR ((((triple1) -> rule6) ((triple3) -> rule7)) -> rule2))] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple3) -> rule7))] Charlie is blue.[(triple6)] Charlie is not cold.[(triple7)] Charlie is quiet.[(triple8 OR ((triple12 triple11) -> rule2) OR ((triple12 ((triple9) -> rule7)) -> rule2) OR ((((triple6) -> rule4) triple11) -> rule2) OR ((((triple6) -> rule6) triple11) -> rule2) OR ((((triple6) -> rule4) ((triple9) -> rule7)) -> rule2) OR ((((triple6) -> rule6) ((triple9) -> rule7)) -> rule2))] Charlie is red.[(triple9)] Charlie is rough.[(triple10)] Charlie is round.[(triple11 OR ((triple9) -> rule7))] Charlie is smart.[(triple12 OR ((triple6) -> rule4) OR ((triple6) -> rule6))] @1: Anne is smart.[(((triple1) -> rule6))]