Bob is kind. Bob is red. Bob is rough. Charlie is big. Charlie is green. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Harry is big. Harry is green. Harry is kind. Harry is rough. Harry is round. Harry is young. All big things are young. If something is red and young then it is green. If something is red and kind then it is round.
Charlie is not round.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5 OR ((triple7 triple10) -> rule2) OR ((triple7 ((triple4) -> rule1)) -> rule2))] Charlie is kind.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9 OR ((triple7 triple6) -> rule3))] Charlie is young.[(triple10 OR ((triple4) -> rule1))] Harry is big.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16 OR ((triple11) -> rule1))] @1: Bob is round.[(((triple2 triple1) -> rule3))]