Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is red. Erin is cold. Erin is green. Erin is nice. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Furry things are red. Green things are furry. If Erin is quiet then Erin is green.
Bob is nice.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule2))] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple2) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple9)] Fiona is cold.[(triple10)] Fiona is furry.[(triple11 OR ((triple12) -> rule2))] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is nice.[(triple14)] Fiona is quiet.[(triple15)] Fiona is red.[(triple16 OR ((triple11) -> rule1) OR ((((triple12) -> rule2)) -> rule1))] @1: Erin is furry.[(((triple8) -> rule2))] @2: Erin is red.[(((((triple8) -> rule2)) -> rule1))]