Charlie is kind. Charlie is smart. Dave is kind. Dave is quiet. Dave is red. Fiona is kind. Fiona is nice. Fiona is smart. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Harry is young. Quiet, nice things are rough. Young, quiet things are nice. Young, nice things are rough. Nice, red things are young. All rough things are young. All smart things are quiet.
Dave is young.
@0: Charlie is kind.[(triple1)] Charlie is smart.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is smart.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10 OR ((triple15 triple11) -> rule2) OR ((triple15 ((triple14) -> rule6)) -> rule2) OR ((((triple13) -> rule5) triple11) -> rule2) OR ((((triple13) -> rule5) ((triple14) -> rule6)) -> rule2))] Harry is quiet.[(triple11 OR ((triple14) -> rule6))] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple11 triple10) -> rule1) OR ((triple15 triple10) -> rule3) OR ((triple11 ((triple15 triple11) -> rule2)) -> rule1) OR ((triple15 ((triple15 triple11) -> rule2)) -> rule3) OR ((((triple14) -> rule6) triple10) -> rule1) OR ((((triple10 triple12) -> rule4) triple10) -> rule3) OR ((((triple14) -> rule6) ((triple15 triple11) -> rule2)) -> rule1) OR ((((triple10 triple12) -> rule4) ((triple15 triple11) -> rule2)) -> rule3) OR ((triple11 ((triple15 ((triple14) -> rule6)) -> rule2)) -> rule1) OR ((triple15 ((triple15 ((triple14) -> rule6)) -> rule2)) -> rule3) OR ((((triple14) -> rule6) ((triple15 ((triple14) -> rule6)) -> rule2)) -> rule1) OR ((((triple10 triple12) -> rule4) ((triple15 ((triple14) -> rule6)) -> rule2)) -> rule3))] Harry is smart.[(triple14)] Harry is young.[(triple15 OR ((triple13) -> rule5) OR ((triple10 triple12) -> rule4) OR ((((triple11 triple10) -> rule1)) -> rule5) OR ((((((triple14) -> rule6) triple10) -> rule1)) -> rule5))] @1: Charlie is quiet.[(((triple2) -> rule6))] Fiona is quiet.[(((triple8) -> rule6))] @2: Fiona is rough.[(((((triple8) -> rule6) triple7) -> rule1))] @3: Fiona is young.[(((((((triple8) -> rule6) triple7) -> rule1)) -> rule5))]