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