Charlie is green. Charlie is kind. Erin is kind. Erin is quiet. Erin is red. Gary is quiet. Gary is red. All big, red people are furry. If someone is furry then they are red. If someone is furry then they are big. If someone is green then they are red. Blue people are red. All red people are blue. If someone is kind and red then they are furry. If someone is big and furry then they are kind.
Gary is not furry.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Gary is quiet.[(triple6)] Gary is red.[(triple7)] @1: Charlie is red.[(((triple1) -> rule4))] Erin is blue.[(((triple5) -> rule6))] Erin is furry.[(((triple3 triple5) -> rule7))] Gary is blue.[(((triple7) -> rule6))] @2: Charlie is blue.[(((((triple1) -> rule4)) -> rule6))] Charlie is furry.[(((triple2 ((triple1) -> rule4)) -> rule7))] Erin is big.[(((((triple3 triple5) -> rule7)) -> rule3))] @3: Charlie is big.[(((((triple2 ((triple1) -> rule4)) -> rule7)) -> rule3))]