Anne is kind. Charlie is furry. Fiona is young. Gary is young. Kind people are white. All furry people are nice. All kind, nice people are white. Red people are smart. If Fiona is smart then Fiona is nice. If someone is furry then they are red. Smart people are kind. All furry people are red.
Charlie is not kind.
@0: Anne is kind.[(triple1)] Charlie is furry.[(triple2)] Fiona is young.[(triple3)] Gary is young.[(triple4)] @1: Anne is white.[(((triple1) -> rule1))] Charlie is nice.[(((triple2) -> rule2))] Charlie is red.[(((triple2) -> rule6) OR ((triple2) -> rule8))] @2: Charlie is smart.[(((((triple2) -> rule6)) -> rule4) OR ((((triple2) -> rule8)) -> rule4))] @3: Charlie is kind.[(((((((triple2) -> rule6)) -> rule4)) -> rule7) OR ((((((triple2) -> rule8)) -> rule4)) -> rule7))] @4: Charlie is white.[(((((((((triple2) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule8)) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule7) ((triple2) -> rule2)) -> rule3) OR ((((((((triple2) -> rule8)) -> rule4)) -> rule7) ((triple2) -> rule2)) -> rule3))]