Bob is young. Charlie is red. Charlie is round. Charlie is white. Fiona is not cold. Fiona is nice. Gary is young. Rough people are cold. If someone is round and red then they are cold. If someone is young then they are round. If Charlie is white and Charlie is not young then Charlie is round. If Gary is young then Gary is cold. All round people are red. If Bob is young and Bob is not white then Bob is not round. If someone is white and not red then they are nice.
Charlie is not white.
@0: Bob is young.[(triple1)] Charlie is red.[(triple2 OR ((triple3) -> rule6))] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Fiona is nice.[(triple6)] Fiona is not cold.[(triple5)] Gary is young.[(triple7)] @1: Bob is round.[(((triple1) -> rule3))] Charlie is cold.[(((triple3 triple2) -> rule2) OR ((triple3 ((triple3) -> rule6)) -> rule2))] Gary is cold.[(((triple7) -> rule5) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule2))] Gary is round.[(((triple7) -> rule3))] @2: Bob is red.[(((((triple1) -> rule3)) -> rule6))] Gary is red.[(((((triple7) -> rule3)) -> rule6))] @3: Bob is cold.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2))]