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