Bob is nice. Bob is smart. Charlie is furry. Erin is blue. Erin is green. Erin is smart. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is smart. Green things are smart. Furry things are kind. If something is kind then it is nice. If Fiona is smart and Fiona is blue then Fiona is white. If Erin is kind and Erin is furry then Erin is nice. Furry, nice things are blue.
Charlie is not nice.
@0: Bob is nice.[(triple1)] Bob is smart.[(triple2)] Charlie is furry.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5)] Erin is smart.[(triple6 OR ((triple5) -> rule1))] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9 OR ((triple8) -> rule3))] Fiona is smart.[(triple10)] @1: Charlie is kind.[(((triple3) -> rule2))] Fiona is white.[(((triple10 triple7) -> rule4))] @2: Charlie is nice.[(((((triple3) -> rule2)) -> rule3))] @3: Charlie is blue.[(((triple3 ((((triple3) -> rule2)) -> rule3)) -> rule6))]