Anne is not big. Anne is blue. Anne is furry. Bob is big. Bob is not blue. Bob is furry. Bob is smart. Bob is not white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. If someone is rough and not big then they are not quiet. If Anne is blue and Anne is quiet then Anne is smart. All furry, quiet people are blue.
Bob is rough.
@0: Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is not big.[(triple1)] Bob is big.[(triple4)] Bob is furry.[(triple6)] Bob is not blue.[(triple5)] Bob is not white.[(triple8)] Bob is smart.[(triple7)] Fiona is big.[(triple9)] Fiona is blue.[(triple10 OR ((triple11 triple12) -> rule3))] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)]