Bob is not big. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is round. Bob is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is round. Fiona is young. If Fiona is quiet then Fiona is big. If Bob is round and Bob is big then Bob is not green. If someone is cold and big then they are round.
Bob is not big.
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is not big.[(triple1)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Fiona is big.[(triple8 OR ((triple12) -> rule1))] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is quiet.[(triple12)] Fiona is round.[(triple13 OR ((triple9 triple8) -> rule3) OR ((triple9 ((triple12) -> rule1)) -> rule3))] Fiona is young.[(triple14)]