Bob is big. Bob is not blue. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Bob is white. Fiona is big. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is white. All big, white things are quiet.
Fiona is not white.
@0: Bob is big.[(triple1)] Bob is kind.[(triple3)] Bob is not blue.[(triple2)] Bob is quiet.[(triple4 OR ((triple1 triple7) -> rule1))] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11 OR ((triple8 triple14) -> rule1))] Fiona is red.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14)]