Dave is big. Dave is furry. Dave is not green. Dave is kind. Dave is red. Dave is smart. Dave is white. Fiona is furry. Fiona is green. Fiona is red. Fiona is smart. Gary is big. Gary is not furry. Gary is green. Gary is smart. Gary is white. All green things are white. If something is big and not kind then it is white. If something is smart then it is white. Green, kind things are white. All white things are big. White things are red. If Gary is not green then Gary is red. If Dave is white then Dave is red.
Fiona is not kind.
@0: Dave is big.[(triple1 OR ((triple7) -> rule5) OR ((((triple6) -> rule3)) -> rule5))] Dave is furry.[(triple2)] Dave is kind.[(triple4)] Dave is not green.[(triple3)] Dave is red.[(triple5 OR ((triple7) -> rule6) OR ((triple7) -> rule8) OR ((((triple6) -> rule3)) -> rule6) OR ((((triple6) -> rule3)) -> rule8))] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple6) -> rule3))] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is red.[(triple10 OR ((((triple11) -> rule3)) -> rule6) OR ((((triple9) -> rule1)) -> rule6))] Fiona is smart.[(triple11)] Gary is big.[(triple12 OR ((triple16) -> rule5) OR ((((triple14) -> rule1)) -> rule5) OR ((((triple15) -> rule3)) -> rule5))] Gary is green.[(triple14)] Gary is not furry.[(triple13)] Gary is smart.[(triple15)] Gary is white.[(triple16 OR ((triple14) -> rule1) OR ((triple15) -> rule3))] @1: Fiona is white.[(((triple11) -> rule3) OR ((triple9) -> rule1))] Gary is red.[(((triple16) -> rule6) OR ((((triple14) -> rule1)) -> rule6) OR ((((triple15) -> rule3)) -> rule6))] @2: Fiona is big.[(((((triple11) -> rule3)) -> rule5) OR ((((triple9) -> rule1)) -> rule5))]