Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Fiona is rough. Fiona is smart. Harry is nice. Harry is quiet. Harry is smart. If someone is round then they are young. If someone is smart then they are nice. If someone is furry then they are quiet. Young people are round. Smart, rough people are furry. If someone is furry then they are young.
Charlie is not nice.
@0: Charlie is furry.[(triple1 OR ((triple6 triple4) -> rule5))] Charlie is nice.[(triple2 OR ((triple6) -> rule2))] Charlie is quiet.[(triple3 OR ((triple1) -> rule3) OR ((((triple6 triple4) -> rule5)) -> rule3))] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((triple7) -> rule4) OR ((((triple1) -> rule6)) -> rule4) OR ((((((triple6 triple4) -> rule5)) -> rule6)) -> rule4))] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple1) -> rule6) OR ((triple5) -> rule1) OR ((((triple6 triple4) -> rule5)) -> rule6))] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Harry is nice.[(triple10 OR ((triple12) -> rule2))] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is furry.[(((triple9 triple8) -> rule5))] Fiona is nice.[(((triple9) -> rule2))] @2: Fiona is quiet.[(((((triple9 triple8) -> rule5)) -> rule3))] Fiona is young.[(((((triple9 triple8) -> rule5)) -> rule6))] @3: Fiona is round.[(((((((triple9 triple8) -> rule5)) -> rule6)) -> rule4))]