Bob is green. Bob is not rough. Erin is big. Erin is round. Erin is young. Gary is not big. Gary is blue. Gary is green. Gary is rough. Gary is round. If Bob is young and Bob is big then Bob is rough. If Bob is young and Bob is blue then Bob is not rough. If Erin is kind then Erin is green. If something is big and young then it is kind. If Gary is not round and Gary is not green then Gary is blue. Young, green things are blue. All big, blue things are rough. If Gary is blue and Gary is green then Gary is young.
Gary is big.
@0: Bob is green.[(triple1)] Bob is not rough.[(triple2)] Erin is big.[(triple3)] Erin is round.[(triple4)] Erin is young.[(triple5)] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is not big.[(triple6)] Gary is rough.[(triple9)] Gary is round.[(triple10)] @1: Erin is kind.[(((triple3 triple5) -> rule4))] Gary is young.[(((triple7 triple8) -> rule8))] @2: Erin is green.[(((((triple3 triple5) -> rule4)) -> rule3))] @3: Erin is blue.[(((triple5 ((((triple3 triple5) -> rule4)) -> rule3)) -> rule6))] @4: Erin is rough.[(((triple3 ((triple5 ((((triple3 triple5) -> rule4)) -> rule3)) -> rule6)) -> rule7))]