Bob is cold. Bob is nice. Bob is red. Bob is white. Bob is young. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Fiona is red. Fiona is white. Fiona is young. All white, smart things are round. Round, red things are nice. All round, red things are young. White, round things are young. All young, white things are nice. If Charlie is smart and Charlie is round then Charlie is white.
Fiona is white.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2 OR ((triple5 triple4) -> rule5))] Bob is red.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Charlie is nice.[(triple6 OR ((triple8 triple7) -> rule2) OR ((((triple8 triple7) -> rule3) ((triple9 triple8) -> rule6)) -> rule5) OR ((((((triple9 triple8) -> rule6) triple8) -> rule4) ((triple9 triple8) -> rule6)) -> rule5))] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Charlie is smart.[(triple9)] Fiona is red.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is white.[(((triple9 triple8) -> rule6))] Charlie is young.[(((triple8 triple7) -> rule3) OR ((((triple9 triple8) -> rule6) triple8) -> rule4))] Fiona is nice.[(((triple12 triple11) -> rule5))]