Bob is big. Bob is not blue. Bob is nice. Erin is blue. Erin is not nice. Erin is red. Erin is young. Gary is not quiet. Gary is not red. Gary is young. If Erin is not kind then Erin is big. All big, quiet people are red. All kind people are quiet. All big people are quiet. If someone is quiet then they are young. If Gary is kind then Gary is quiet.
Gary is not young.
@0: Bob is big.[(triple1)] Bob is nice.[(triple3)] Bob is not blue.[(triple2)] Erin is blue.[(triple4)] Erin is not nice.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)] Gary is not quiet.[(triple8)] Gary is not red.[(triple9)] Gary is young.[(triple10)] @1: Bob is quiet.[(((triple1) -> rule4))] @2: Bob is red.[(((triple1 ((triple1) -> rule4)) -> rule2))] Bob is young.[(((((triple1) -> rule4)) -> rule5))]