Charlie is blue. Charlie is not young. Dave is blue. Dave is quiet. Dave is red. Dave is not rough. Dave is not smart. Dave is young. Harry is big. Harry is blue. Harry is quiet. Harry is red. Harry is not rough. Harry is smart. Harry is young. All young people are not rough. If someone is young and not smart then they are not rough. If someone is rough then they are not young. All red people are blue. Smart, red people are blue. If someone is big and not young then they are not quiet. If someone is smart then they are big. If someone is quiet and red then they are big.
Charlie is not big.
@0: Charlie is blue.[(triple1)] Charlie is not young.[(triple2)] Dave is blue.[(triple3 OR ((triple5) -> rule4))] Dave is not rough.[(triple6 OR ((triple8) -> rule1) OR ((triple8 triple7) -> rule2))] Dave is not smart.[(triple7)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is young.[(triple8)] Harry is big.[(triple9 OR ((triple14) -> rule7) OR ((triple11 triple12) -> rule8))] Harry is blue.[(triple10 OR ((triple12) -> rule4) OR ((triple14 triple12) -> rule5))] Harry is not rough.[(triple13 OR ((triple15) -> rule1))] Harry is quiet.[(triple11)] Harry is red.[(triple12)] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Dave is big.[(((triple4 triple5) -> rule8))]