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