Bob is blue. Bob is round. Bob is smart. Erin is not green. Erin is kind. Erin is round. Fiona is not green. Fiona is nice. Fiona is not quiet. Harry is not round. Green things are round. If something is round and not smart then it is kind. All quiet, smart things are green. Smart things are green. If Erin is not round then Erin is kind. Green things are blue. If something is smart and not kind then it is blue. All kind things are not blue.
Erin is nice.
@0: Bob is blue.[(triple1 OR ((((triple3) -> rule4)) -> rule6))] Bob is round.[(triple2 OR ((((triple3) -> rule4)) -> rule1))] Bob is smart.[(triple3)] Erin is kind.[(triple5)] Erin is not green.[(triple4)] Erin is round.[(triple6)] Fiona is nice.[(triple8)] Fiona is not green.[(triple7)] Fiona is not quiet.[(triple9)] Harry is not round.[(triple10)] @1: Bob is green.[(((triple3) -> rule4))] Erin is not blue.[(((triple5) -> rule8))]