Erin is quiet. Fiona is big. Fiona is nice. Fiona is red. Gary is big. Gary is nice. Gary is round. If someone is red then they are quiet. If someone is big and red then they are quiet. If someone is red then they are quiet. Big people are red. If someone is rough then they are red. If someone is quiet then they are rough.
Fiona is not blue.
@0: Erin is quiet.[(triple1)] Fiona is big.[(triple2)] Fiona is nice.[(triple3)] Fiona is red.[(triple4 OR ((triple2) -> rule4))] Gary is big.[(triple5)] Gary is nice.[(triple6)] Gary is round.[(triple7)] @1: Erin is rough.[(((triple1) -> rule6))] Fiona is quiet.[(((triple4) -> rule1) OR ((triple4) -> rule3) OR ((triple2 triple4) -> rule2) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule4)) -> rule3) OR ((triple2 ((triple2) -> rule4)) -> rule2))] Gary is red.[(((triple5) -> rule4))] @2: Erin is red.[(((((triple1) -> rule6)) -> rule5))] Fiona is rough.[(((((triple4) -> rule1)) -> rule6) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple2 triple4) -> rule2)) -> rule6) OR ((((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple2) -> rule4)) -> rule3)) -> rule6) OR ((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule6))] Gary is quiet.[(((((triple5) -> rule4)) -> rule1) OR ((((triple5) -> rule4)) -> rule3) OR ((triple5 ((triple5) -> rule4)) -> rule2))] @3: Gary is rough.[(((((((triple5) -> rule4)) -> rule1)) -> rule6) OR ((((((triple5) -> rule4)) -> rule3)) -> rule6) OR ((((triple5 ((triple5) -> rule4)) -> rule2)) -> rule6))]