Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is round. Bob is white. Fiona is big. Fiona is blue. Fiona is not furry. Fiona is kind. Fiona is round. Fiona is white. If Bob is quiet then Bob is kind. All round things are big. Kind things are blue. All quiet, big things are white. If Bob is kind and Bob is not furry then Bob is big. If Bob is quiet and Bob is not blue then Bob is not big.
Fiona is not quiet.
@0: Bob is big.[(triple1 OR ((triple5) -> rule2))] Bob is blue.[(triple2 OR ((triple4) -> rule3))] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Fiona is big.[(triple7 OR ((triple11) -> rule2))] Fiona is blue.[(triple8 OR ((triple10) -> rule3))] Fiona is kind.[(triple10)] Fiona is not furry.[(triple9)] Fiona is round.[(triple11)] Fiona is white.[(triple12)]