Bob is blue. Bob is not cold. Bob is round. Charlie is blue. Charlie is cold. Charlie is round. Erin is young. Fiona is blue. Fiona is round. Fiona is white. All green people are blue. If someone is cold then they are blue. Green people are not cold. Young people are cold. Cold, blue people are white. All blue people are not green. If Charlie is not cold and Charlie is not blue then Charlie is round. If Bob is furry and Bob is not cold then Bob is not white.
Bob is furry.
@0: Bob is blue.[(triple1)] Bob is not cold.[(triple2)] Bob is round.[(triple3)] Charlie is blue.[(triple4 OR ((triple5) -> rule2))] Charlie is cold.[(triple5)] Charlie is round.[(triple6)] Erin is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Bob is not green.[(((triple1) -> rule6))] Charlie is not green.[(((triple4) -> rule6) OR ((((triple5) -> rule2)) -> rule6))] Charlie is white.[(((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule2)) -> rule5))] Erin is cold.[(((triple7) -> rule4))] Fiona is not green.[(((triple8) -> rule6))] @2: Erin is blue.[(((((triple7) -> rule4)) -> rule2))] @3: Erin is not green.[(((((((triple7) -> rule4)) -> rule2)) -> rule6))] Erin is white.[(((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule2)) -> rule5))]