Bob is blue. Bob is rough. Charlie is big. Charlie is green. Charlie is quiet. Charlie is rough. Fiona is blue. Fiona is green. Fiona is rough. Gary is furry. All rough people are quiet. If someone is rough and blue then they are furry. If someone is blue and big then they are white.
Gary is furry.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Charlie is big.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5 OR ((triple6) -> rule1))] Charlie is rough.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8)] Fiona is rough.[(triple9)] Gary is furry.[(triple10)] @1: Bob is furry.[(((triple2 triple1) -> rule2))] Bob is quiet.[(((triple2) -> rule1))] Fiona is furry.[(((triple9 triple7) -> rule2))] Fiona is quiet.[(((triple9) -> rule1))]