Anne is nice. Bob is furry. Bob is green. Bob is quiet. Bob is young. Charlie is furry. Charlie is quiet. Charlie is young. Fiona is nice. Fiona is quiet. If Fiona is quiet and Fiona is young then Fiona is cold. All green, young people are nice. Green people are furry. If someone is green and young then they are furry. If someone is quiet then they are young. If Fiona is cold then Fiona is nice.
Bob is not green.
@0: Anne is nice.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule3) OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple4) -> rule5)) -> rule4))] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is young.[(triple5 OR ((triple4) -> rule5))] Charlie is furry.[(triple6)] Charlie is quiet.[(triple7)] Charlie is young.[(triple8 OR ((triple7) -> rule5))] Fiona is nice.[(triple9 OR ((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule6))] Fiona is quiet.[(triple10)] @1: Bob is nice.[(((triple3 triple5) -> rule2) OR ((triple3 ((triple4) -> rule5)) -> rule2))] Fiona is young.[(((triple10) -> rule5))] @2: Fiona is cold.[(((triple10 ((triple10) -> rule5)) -> rule1))]