Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is red. Erin is big. Erin is blue. Erin is nice. Erin is red. Gary is kind. Gary is red. Harry is big. Harry is blue. Harry is green. Harry is red. All big people are nice. All kind people are white. Green, white people are big.
Gary is not big.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((((triple2 ((triple3) -> rule2)) -> rule3)) -> rule1))] Bob is red.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is nice.[(triple8 OR ((triple6) -> rule1))] Erin is red.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is red.[(triple15)] @1: Bob is white.[(((triple3) -> rule2))] Gary is white.[(((triple10) -> rule2))] Harry is nice.[(((triple12) -> rule1))] @2: Bob is big.[(((triple2 ((triple3) -> rule2)) -> rule3))]