Bob is cold. Bob is quiet. Bob is red. Bob is white. Fiona is kind. Fiona is nice. Fiona is white. If something is quiet then it is cold. All white things are quiet. Kind things are nice. Nice, red things are quiet. All cold things are furry. If Bob is kind and Bob is furry then Bob is white. White things are kind. All red things are nice.
Bob is not furry.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule1) OR ((((triple4) -> rule2)) -> rule1) OR ((((((triple3) -> rule8) triple3) -> rule4)) -> rule1) OR ((((((((triple4) -> rule7)) -> rule3) triple3) -> rule4)) -> rule1))] Bob is quiet.[(triple2 OR ((triple4) -> rule2) OR ((((triple3) -> rule8) triple3) -> rule4) OR ((((((triple4) -> rule7)) -> rule3) triple3) -> rule4))] Bob is red.[(triple3)] Bob is white.[(triple4)] Fiona is kind.[(triple5 OR ((triple7) -> rule7))] Fiona is nice.[(triple6 OR ((triple5) -> rule3) OR ((((triple7) -> rule7)) -> rule3))] Fiona is white.[(triple7)] @1: Bob is furry.[(((triple1) -> rule5) OR ((((triple2) -> rule1)) -> rule5) OR ((((((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple3) -> rule8) triple3) -> rule4)) -> rule1)) -> rule5) OR ((((((((((triple4) -> rule7)) -> rule3) triple3) -> rule4)) -> rule1)) -> rule5))] Bob is kind.[(((triple4) -> rule7))] Bob is nice.[(((triple3) -> rule8) OR ((((triple4) -> rule7)) -> rule3))] Fiona is quiet.[(((triple7) -> rule2))] @2: Fiona is cold.[(((((triple7) -> rule2)) -> rule1))] @3: Fiona is furry.[(((((((triple7) -> rule2)) -> rule1)) -> rule5))]