Bob is big. Bob is blue. Bob is green. Bob is rough. Erin is blue. Erin is red. Erin is rough. Gary is blue. Gary is green. Gary is kind. All quiet things are big. All kind things are blue. If something is green and blue then it is quiet. If something is rough then it is big. Red, quiet things are blue. If Gary is rough then Gary is green.
Gary is rough.
@0: Bob is big.[(triple1 OR ((triple4) -> rule4) OR ((((triple3 triple2) -> rule3)) -> rule1))] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Erin is blue.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Gary is blue.[(triple8 OR ((triple10) -> rule2))] Gary is green.[(triple9)] Gary is kind.[(triple10)] @1: Bob is quiet.[(((triple3 triple2) -> rule3))] Erin is big.[(((triple7) -> rule4))] Gary is quiet.[(((triple9 triple8) -> rule3) OR ((triple9 ((triple10) -> rule2)) -> rule3))] @2: Gary is big.[(((((triple9 triple8) -> rule3)) -> rule1) OR ((((triple9 ((triple10) -> rule2)) -> rule3)) -> rule1))]