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