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