Bob is kind. Erin is big. Erin is white. Erin is young. Gary is big. Gary is kind. Gary is quiet. Gary is red. Gary is white. Gary is young. If Gary is big then Gary is white. If someone is big and red then they are round.
Erin is not round.
@0: Bob is kind.[(triple1)] Erin is big.[(triple2)] Erin is white.[(triple3)] Erin is young.[(triple4)] Gary is big.[(triple5)] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is white.[(triple9 OR ((triple5) -> rule1))] Gary is young.[(triple10)] @1: Gary is round.[(((triple5 triple8) -> rule2))]