Bob is big. Bob is not blue. Bob is furry. Bob is green. Bob is quiet. Erin is big. Erin is not furry. Erin is green. Fiona is big. Fiona is blue. Fiona is green. Fiona is smart. Round people are blue. If Bob is quiet then Bob is not round. If Fiona is blue then Fiona is green. All smart people are not round. If someone is smart and blue then they are quiet. All round, green people are furry. If someone is blue and not quiet then they are not big. If Erin is blue and Erin is not round then Erin is big.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is not blue.[(triple2)] Bob is quiet.[(triple5)] Erin is big.[(triple6)] Erin is green.[(triple8)] Erin is not furry.[(triple7)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is green.[(triple11 OR ((triple10) -> rule3))] Fiona is smart.[(triple12)] @1: Bob is not round.[(((triple5) -> rule2))] Fiona is not round.[(((triple12) -> rule4))] Fiona is quiet.[(((triple12 triple10) -> rule5))]