Anne is red. Charlie is cold. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Erin is cold. Erin is nice. Erin is red. Erin is round. Erin is smart. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. If Charlie is nice then Charlie is cold. If something is cold then it is nice. Cold things are smart. If something is red then it is nice. If something is smart then it is rough. All nice, red things are smart.
Fiona is not rough.
@0: Anne is red.[(triple1)] Charlie is cold.[(triple2 OR ((((triple4) -> rule4)) -> rule1))] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple2) -> rule3) OR ((((triple2) -> rule2) triple4) -> rule6) OR ((((triple4) -> rule4) triple4) -> rule6) OR ((((((triple4) -> rule4)) -> rule1)) -> rule3))] Erin is cold.[(triple7)] Erin is nice.[(triple8 OR ((triple7) -> rule2) OR ((triple9) -> rule4))] Erin is red.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11 OR ((triple7) -> rule3) OR ((triple8 triple9) -> rule6) OR ((((triple7) -> rule2) triple9) -> rule6) OR ((((triple9) -> rule4) triple9) -> rule6))] Fiona is kind.[(triple12)] Fiona is red.[(triple13)] Fiona is round.[(triple14)] Fiona is smart.[(triple15 OR ((((triple13) -> rule4) triple13) -> rule6))] @1: Anne is nice.[(((triple1) -> rule4))] Charlie is nice.[(((triple2) -> rule2) OR ((triple4) -> rule4))] Charlie is rough.[(((triple6) -> rule5) OR ((((triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule2) triple4) -> rule6)) -> rule5) OR ((((((triple4) -> rule4) triple4) -> rule6)) -> rule5) OR ((((((((triple4) -> rule4)) -> rule1)) -> rule3)) -> rule5))] Erin is rough.[(((triple11) -> rule5) OR ((((triple7) -> rule3)) -> rule5) OR ((((triple8 triple9) -> rule6)) -> rule5) OR ((((((triple7) -> rule2) triple9) -> rule6)) -> rule5) OR ((((((triple9) -> rule4) triple9) -> rule6)) -> rule5))] Fiona is nice.[(((triple13) -> rule4))] Fiona is rough.[(((triple15) -> rule5) OR ((((((triple13) -> rule4) triple13) -> rule6)) -> rule5))] @2: Anne is smart.[(((((triple1) -> rule4) triple1) -> rule6))] @3: Anne is rough.[(((((((triple1) -> rule4) triple1) -> rule6)) -> rule5))]