Bob is kind. Bob is rough. Bob is round. Dave is kind. Dave is quiet. Dave is round. Dave is white. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. If someone is red then they are white. If someone is red and kind then they are white. If Dave is quiet and Dave is red then Dave is kind. All round people are white. If someone is kind then they are round. All white people are blue. If someone is quiet and white then they are round. If someone is kind and rough then they are blue.
Dave is quiet.
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((triple1) -> rule5))] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6 OR ((triple4) -> rule5) OR ((triple5 triple7) -> rule7))] Dave is white.[(triple7 OR ((triple6) -> rule4) OR ((((triple4) -> rule5)) -> rule4))] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11 OR ((triple8 triple12) -> rule7) OR ((triple8 ((triple9) -> rule1)) -> rule7))] Fiona is white.[(triple12 OR ((triple11) -> rule4) OR ((triple9) -> rule1))] @1: Bob is blue.[(((triple1 triple2) -> rule8) OR ((((triple3) -> rule4)) -> rule6) OR ((((((triple1) -> rule5)) -> rule4)) -> rule6))] Bob is white.[(((triple3) -> rule4) OR ((((triple1) -> rule5)) -> rule4))] Dave is blue.[(((triple7) -> rule6) OR ((((triple6) -> rule4)) -> rule6) OR ((((((triple4) -> rule5)) -> rule4)) -> rule6))] Fiona is blue.[(((triple12) -> rule6) OR ((((triple11) -> rule4)) -> rule6) OR ((((triple9) -> rule1)) -> rule6))]