Bob is green. Bob is kind. Charlie is green. Charlie is not smart. Erin is not young. Fiona is nice. Fiona is young. Green, smart things are quiet. If something is kind then it is green. Smart things are young. Young things are kind. Quiet things are furry. All quiet, nice things are furry. Nice, green things are smart. If Bob is kind and Bob is not green then Bob is furry.
Fiona is not green.
@0: Bob is green.[(triple1 OR ((triple2) -> rule2))] Bob is kind.[(triple2)] Charlie is green.[(triple3)] Charlie is not smart.[(triple4)] Erin is not young.[(triple5)] Fiona is nice.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is kind.[(((triple7) -> rule4))] @2: Fiona is green.[(((((triple7) -> rule4)) -> rule2))] @3: Fiona is smart.[(((triple6 ((((triple7) -> rule4)) -> rule2)) -> rule7))] @4: Fiona is quiet.[(((((((triple7) -> rule4)) -> rule2) ((triple6 ((((triple7) -> rule4)) -> rule2)) -> rule7)) -> rule1))] @5: Fiona is furry.[(((((((((triple7) -> rule4)) -> rule2) ((triple6 ((((triple7) -> rule4)) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule4)) -> rule2) ((triple6 ((((triple7) -> rule4)) -> rule2)) -> rule7)) -> rule1) triple6) -> rule6))]