Bob is blue. Charlie is blue. Charlie is kind. Charlie is smart. Charlie is young. Harry is kind. Harry is not smart. Round, kind people are smart. If Bob is round then Bob is rough. All blue people are not round. If someone is kind and blue then they are not round. If someone is young and not round then they are big. All big people are not rough.
Charlie is smart.
@0: Bob is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Harry is kind.[(triple6)] Harry is not smart.[(triple7)] @1: Bob is not round.[(((triple1) -> rule3))] Charlie is not round.[(((triple2) -> rule3) OR ((triple3 triple2) -> rule4))] @2: Charlie is big.[(((triple5 ((triple2) -> rule3)) -> rule5) OR ((triple5 ((triple3 triple2) -> rule4)) -> rule5))] @3: Charlie is not rough.[(((((triple5 ((triple2) -> rule3)) -> rule5)) -> rule6) OR ((((triple5 ((triple3 triple2) -> rule4)) -> rule5)) -> rule6))]