Bob is red. Bob is rough. Charlie is smart. All big things are blue. If Charlie is big then Charlie is rough. If Bob is kind and Bob is big then Bob is young. If Bob is young then Bob is big. All blue things are young. If something is red then it is blue. All smart things are kind. If Charlie is smart then Charlie is kind.
Bob is young.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Charlie is smart.[(triple3)] @1: Bob is blue.[(((triple1) -> rule6))] Charlie is kind.[(((triple3) -> rule7) OR ((triple3) -> rule8))] @2: Bob is young.[(((((triple1) -> rule6)) -> rule5))] @3: Bob is big.[(((((((triple1) -> rule6)) -> rule5)) -> rule4))]