Charlie is kind. Charlie is quiet. Dave is kind. Dave is rough. Dave is smart. Dave is young. Erin is kind. Erin is nice. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. All round, kind things are young. If something is round and nice then it is kind. All quiet things are nice. All rough, nice things are kind. If Charlie is young and Charlie is rough then Charlie is smart. If Charlie is young then Charlie is quiet. All kind things are smart. All rough, young things are quiet.
Erin is not young.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Dave is kind.[(triple3 OR ((triple4 ((((triple4 triple6) -> rule8)) -> rule3)) -> rule4))] Dave is rough.[(triple4)] Dave is smart.[(triple5 OR ((triple3) -> rule7) OR ((((triple4 ((((triple4 triple6) -> rule8)) -> rule3)) -> rule4)) -> rule7))] Dave is young.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12 OR ((((triple10 triple9) -> rule4)) -> rule7) OR ((((triple11 triple9) -> rule2)) -> rule7))] @1: Charlie is nice.[(((triple2) -> rule3))] Charlie is smart.[(((triple1) -> rule7))] Dave is quiet.[(((triple4 triple6) -> rule8))] Erin is smart.[(((triple7) -> rule7))] Fiona is kind.[(((triple10 triple9) -> rule4) OR ((triple11 triple9) -> rule2))] @2: Dave is nice.[(((((triple4 triple6) -> rule8)) -> rule3))] Fiona is young.[(((triple11 ((triple10 triple9) -> rule4)) -> rule1) OR ((triple11 ((triple11 triple9) -> rule2)) -> rule1))] @3: Fiona is quiet.[(((triple10 ((triple11 ((triple10 triple9) -> rule4)) -> rule1)) -> rule8) OR ((triple10 ((triple11 ((triple11 triple9) -> rule2)) -> rule1)) -> rule8))]