Bob is kind. Gary is kind. Gary is young. If something is kind then it is blue. If something is blue then it is kind. Kind things are blue. Kind, rough things are white. If Bob is blue and Bob is young then Bob is big. Young, blue things are rough. If something is kind and rough then it is white. If Gary is rough and Gary is white then Gary is big.
Gary is green.
@0: Bob is kind.[(triple1)] Gary is kind.[(triple2)] Gary is young.[(triple3)] @1: Bob is blue.[(((triple1) -> rule1) OR ((triple1) -> rule3))] Gary is blue.[(((triple2) -> rule1) OR ((triple2) -> rule3))] @2: Gary is rough.[(((triple3 ((triple2) -> rule1)) -> rule6) OR ((triple3 ((triple2) -> rule3)) -> rule6))] @3: Gary is white.[(((triple2 ((triple3 ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((triple2 ((triple3 ((triple2) -> rule1)) -> rule6)) -> rule7) OR ((triple2 ((triple3 ((triple2) -> rule3)) -> rule6)) -> rule4) OR ((triple2 ((triple3 ((triple2) -> rule3)) -> rule6)) -> rule7))] @4: Gary is big.[(((((triple3 ((triple2) -> rule1)) -> rule6) ((triple2 ((triple3 ((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule8) OR ((((triple3 ((triple2) -> rule1)) -> rule6) ((triple2 ((triple3 ((triple2) -> rule1)) -> rule6)) -> rule7)) -> rule8) OR ((((triple3 ((triple2) -> rule1)) -> rule6) ((triple2 ((triple3 ((triple2) -> rule3)) -> rule6)) -> rule4)) -> rule8) OR ((((triple3 ((triple2) -> rule1)) -> rule6) ((triple2 ((triple3 ((triple2) -> rule3)) -> rule6)) -> rule7)) -> rule8) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple2 ((triple3 ((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule8) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple2 ((triple3 ((triple2) -> rule1)) -> rule6)) -> rule7)) -> rule8) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple2 ((triple3 ((triple2) -> rule3)) -> rule6)) -> rule4)) -> rule8) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple2 ((triple3 ((triple2) -> rule3)) -> rule6)) -> rule7)) -> rule8))]