Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is rough. Bob is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is round. Furry, quiet people are big. If someone is quiet then they are round.
Fiona is cold.
@0: Bob is big.[(triple1 OR ((triple4 triple5) -> rule1))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7 OR ((triple5) -> rule2))] Fiona is big.[(triple8 OR ((triple11 triple12) -> rule1))] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)] Fiona is round.[(triple14 OR ((triple12) -> rule2))]