Charlie is big. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Harry is big. Harry is blue. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. Harry is young. Smart things are rough. If something is quiet then it is young. If Charlie is blue then Charlie is big. If something is quiet and not young then it is not blue. If something is rough then it is blue. If something is blue and young then it is nice.
Harry is not quiet.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule3) OR ((((triple5) -> rule5)) -> rule3) OR ((((((triple6) -> rule1)) -> rule5)) -> rule3))] Charlie is blue.[(triple2 OR ((triple5) -> rule5) OR ((((triple6) -> rule1)) -> rule5))] Charlie is nice.[(triple3 OR ((triple2 triple7) -> rule6) OR ((triple2 ((triple4) -> rule2)) -> rule6) OR ((((triple5) -> rule5) triple7) -> rule6) OR ((((triple5) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((((triple6) -> rule1)) -> rule5) triple7) -> rule6) OR ((((((triple6) -> rule1)) -> rule5) ((triple4) -> rule2)) -> rule6))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5 OR ((triple6) -> rule1))] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple4) -> rule2))] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple12) -> rule5) OR ((((triple13) -> rule1)) -> rule5))] Harry is nice.[(triple10 OR ((triple9 triple14) -> rule6) OR ((triple9 ((triple11) -> rule2)) -> rule6) OR ((((triple12) -> rule5) triple14) -> rule6) OR ((((triple12) -> rule5) ((triple11) -> rule2)) -> rule6) OR ((((((triple13) -> rule1)) -> rule5) triple14) -> rule6) OR ((((((triple13) -> rule1)) -> rule5) ((triple11) -> rule2)) -> rule6))] Harry is quiet.[(triple11)] Harry is rough.[(triple12 OR ((triple13) -> rule1))] Harry is smart.[(triple13)] Harry is young.[(triple14 OR ((triple11) -> rule2))]