Bob is blue. Bob is kind. Bob is nice. Bob is red. Bob is white. Gary is blue. Gary is kind. Gary is nice. Gary is red. Gary is round. Gary is white. Gary is young. Kind, white things are round. If something is nice then it is round. All round things are young.
Bob is not kind.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is white.[(triple5)] Gary is blue.[(triple6)] Gary is kind.[(triple7)] Gary is nice.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10 OR ((triple8) -> rule2) OR ((triple7 triple11) -> rule1))] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple10) -> rule3) OR ((((triple8) -> rule2)) -> rule3) OR ((((triple7 triple11) -> rule1)) -> rule3))] @1: Bob is round.[(((triple3) -> rule2) OR ((triple2 triple5) -> rule1))] @2: Bob is young.[(((((triple3) -> rule2)) -> rule3) OR ((((triple2 triple5) -> rule1)) -> rule3))]