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