Anne is nice. Anne is rough. Charlie is big. Charlie is furry. Charlie is rough. Erin is big. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is smart. Erin is young. Fiona is nice. Fiona is red. Fiona is smart. If someone is smart then they are nice. If someone is furry and red then they are smart. All furry people are red.
Anne is nice.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Charlie is big.[(triple3)] Charlie is furry.[(triple4)] Charlie is rough.[(triple5)] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8 OR ((triple11) -> rule1) OR ((((triple7 triple9) -> rule2)) -> rule1) OR ((((triple7 ((triple7) -> rule3)) -> rule2)) -> rule1))] Erin is red.[(triple9 OR ((triple7) -> rule3))] Erin is rough.[(triple10)] Erin is smart.[(triple11 OR ((triple7 triple9) -> rule2) OR ((triple7 ((triple7) -> rule3)) -> rule2))] Erin is young.[(triple12)] Fiona is nice.[(triple13 OR ((triple15) -> rule1))] Fiona is red.[(triple14)] Fiona is smart.[(triple15)] @1: Charlie is red.[(((triple4) -> rule3))] @2: Charlie is smart.[(((triple4 ((triple4) -> rule3)) -> rule2))] @3: Charlie is nice.[(((((triple4 ((triple4) -> rule3)) -> rule2)) -> rule1))]