Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. Harry is big. Harry is blue. Harry is kind. Harry is quiet. Harry is white. If something is quiet then it is smart. All big things are quiet. If something is big then it is young. All kind things are blue. All quiet things are kind. If Charlie is blue then Charlie is big.
Harry is not kind.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((((triple4) -> rule5)) -> rule4)) -> rule6))] Charlie is blue.[(triple2 OR ((triple3) -> rule4) OR ((((triple4) -> rule5)) -> rule4) OR ((((((triple1) -> rule2)) -> rule5)) -> rule4))] Charlie is kind.[(triple3 OR ((triple4) -> rule5) OR ((((triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule6)) -> rule2)) -> rule5))] Charlie is quiet.[(triple4 OR ((triple1) -> rule2) OR ((((triple2) -> rule6)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6)) -> rule2))] Charlie is smart.[(triple5 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((((triple2) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple3) -> rule4)) -> rule6)) -> rule2)) -> rule1))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple1) -> rule3) OR ((((triple2) -> rule6)) -> rule3) OR ((((((triple3) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule5)) -> rule4)) -> rule6)) -> rule3))] Fiona is quiet.[(triple8)] Fiona is smart.[(triple9 OR ((triple8) -> rule1))] Fiona is white.[(triple10)] Fiona is young.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13 OR ((triple14) -> rule4) OR ((((triple15) -> rule5)) -> rule4) OR ((((((triple12) -> rule2)) -> rule5)) -> rule4))] Harry is kind.[(triple14 OR ((triple15) -> rule5) OR ((((triple12) -> rule2)) -> rule5))] Harry is quiet.[(triple15 OR ((triple12) -> rule2))] Harry is white.[(triple16)] @1: Fiona is kind.[(((triple8) -> rule5))] Harry is smart.[(((triple15) -> rule1) OR ((((triple12) -> rule2)) -> rule1))] Harry is young.[(((triple12) -> rule3))] @2: Fiona is blue.[(((((triple8) -> rule5)) -> rule4))]