Bob is furry. Bob is red. Dave is round. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is white. Gary is furry. Gary is kind. Gary is nice. If someone is rough then they are red. Nice, red people are furry. Furry people are nice. All round people are rough. If someone is furry then they are round. If someone is round then they are white. If someone is nice then they are kind. If someone is kind then they are white.
Dave is not furry.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2 OR ((((((triple1) -> rule5)) -> rule4)) -> rule1))] Dave is round.[(triple3)] Fiona is furry.[(triple4)] Fiona is kind.[(triple5 OR ((triple6) -> rule7) OR ((((triple4) -> rule3)) -> rule7))] Fiona is nice.[(triple6 OR ((triple4) -> rule3))] Fiona is white.[(triple7 OR ((triple5) -> rule8) OR ((((triple4) -> rule5)) -> rule6) OR ((((triple6) -> rule7)) -> rule8) OR ((((((triple4) -> rule3)) -> rule7)) -> rule8))] Gary is furry.[(triple8)] Gary is kind.[(triple9 OR ((triple10) -> rule7) OR ((((triple8) -> rule3)) -> rule7))] Gary is nice.[(triple10 OR ((triple8) -> rule3))] @1: Bob is nice.[(((triple1) -> rule3))] Bob is round.[(((triple1) -> rule5))] Dave is rough.[(((triple3) -> rule4))] Dave is white.[(((triple3) -> rule6))] Fiona is round.[(((triple4) -> rule5))] Gary is round.[(((triple8) -> rule5))] Gary is white.[(((triple9) -> rule8) OR ((((triple10) -> rule7)) -> rule8) OR ((((triple8) -> rule5)) -> rule6) OR ((((((triple8) -> rule3)) -> rule7)) -> rule8))] @2: Bob is kind.[(((((triple1) -> rule3)) -> rule7))] Bob is rough.[(((((triple1) -> rule5)) -> rule4))] Bob is white.[(((((triple1) -> rule5)) -> rule6) OR ((((((triple1) -> rule3)) -> rule7)) -> rule8))] Dave is red.[(((((triple3) -> rule4)) -> rule1))] Fiona is rough.[(((((triple4) -> rule5)) -> rule4))] Gary is rough.[(((((triple8) -> rule5)) -> rule4))] @3: Fiona is red.[(((((((triple4) -> rule5)) -> rule4)) -> rule1))] Gary is red.[(((((((triple8) -> rule5)) -> rule4)) -> rule1))]