Anne is kind. Anne is rough. Bob is big. Dave is big. Dave is cold. Fiona is kind. Fiona is white. Big people are cold. All big, kind people are red. If someone is quiet then they are kind. If Dave is rough then Dave is big. If someone is cold then they are quiet. Red, kind people are white. If Fiona is big then Fiona is quiet. If Bob is kind and Bob is not red then Bob is not rough.
Fiona is not red.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Bob is big.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5 OR ((triple4) -> rule1))] Fiona is kind.[(triple6)] Fiona is white.[(triple7)] @1: Bob is cold.[(((triple3) -> rule1))] Dave is quiet.[(((triple5) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] @2: Bob is quiet.[(((((triple3) -> rule1)) -> rule5))] Dave is kind.[(((((triple5) -> rule5)) -> rule3) OR ((((((triple4) -> rule1)) -> rule5)) -> rule3))] @3: Bob is kind.[(((((((triple3) -> rule1)) -> rule5)) -> rule3))] Dave is red.[(((triple4 ((((triple5) -> rule5)) -> rule3)) -> rule2) OR ((triple4 ((((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule2))] @4: Bob is red.[(((triple3 ((((((triple3) -> rule1)) -> rule5)) -> rule3)) -> rule2))] Dave is white.[(((((triple4 ((((triple5) -> rule5)) -> rule3)) -> rule2) ((((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((triple4 ((((triple5) -> rule5)) -> rule3)) -> rule2) ((((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((triple4 ((((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule2) ((((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((triple4 ((((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule2) ((((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule6))] @5: Bob is white.[(((((triple3 ((((((triple3) -> rule1)) -> rule5)) -> rule3)) -> rule2) ((((((triple3) -> rule1)) -> rule5)) -> rule3)) -> rule6))]