Bob is kind. Dave is kind. Dave is white. Fiona is big. Fiona is furry. Fiona is kind. Fiona is not nice. Fiona is rough. Fiona is white. Gary is green. Gary is nice. Gary is rough. If Fiona is not rough then Fiona is not green. If someone is big then they are white. If someone is kind and not nice then they are big. White people are big. Big, rough people are green. If someone is white then they are furry.
Dave is rough.
@0: Bob is kind.[(triple1)] Dave is kind.[(triple2)] Dave is white.[(triple3)] Fiona is big.[(triple4 OR ((triple9) -> rule4) OR ((triple6 triple7) -> rule3))] Fiona is furry.[(triple5 OR ((triple9) -> rule6) OR ((((triple4) -> rule2)) -> rule6) OR ((((((triple6 triple7) -> rule3)) -> rule2)) -> rule6))] Fiona is kind.[(triple6)] Fiona is not nice.[(triple7)] Fiona is rough.[(triple8)] Fiona is white.[(triple9 OR ((triple4) -> rule2) OR ((((triple6 triple7) -> rule3)) -> rule2))] Gary is green.[(triple10)] Gary is nice.[(triple11)] Gary is rough.[(triple12)] @1: Dave is big.[(((triple3) -> rule4))] Dave is furry.[(((triple3) -> rule6))] Fiona is green.[(((triple4 triple8) -> rule5) OR ((((triple9) -> rule4) triple8) -> rule5) OR ((((triple6 triple7) -> rule3) triple8) -> rule5))]