Bob is not big. Bob is cold. Bob is white. Charlie is not big. Charlie is furry. Charlie is nice. Fiona is blue. Fiona is nice. Fiona is not white. Gary is not cold. Big things are nice. If Charlie is big and Charlie is blue then Charlie is nice. All big things are young. If something is blue then it is young. All cold things are not big. All furry things are not big. If Gary is nice then Gary is cold. If something is big and not young then it is not white.
Bob is blue.
@0: Bob is cold.[(triple2)] Bob is not big.[(triple1 OR ((triple2) -> rule5))] Bob is white.[(triple3)] Charlie is furry.[(triple5)] Charlie is nice.[(triple6)] Charlie is not big.[(triple4 OR ((triple5) -> rule6))] Fiona is blue.[(triple7)] Fiona is nice.[(triple8)] Fiona is not white.[(triple9)] Gary is not cold.[(triple10)] @1: Fiona is young.[(((triple7) -> rule4))]