Dave is not round. Fiona is big. Fiona is blue. Fiona is nice. Fiona is white. Gary is rough. Harry is white. Blue, rough people are furry. All rough people are nice. If Gary is round then Gary is blue. All white, rough people are round. All nice, blue people are white. All nice, big people are white. All nice, rough people are big. All big people are rough.
Harry is not furry.
@0: Dave is not round.[(triple1)] Fiona is big.[(triple2)] Fiona is blue.[(triple3)] Fiona is nice.[(triple4 OR ((((triple2) -> rule8)) -> rule2))] Fiona is white.[(triple5 OR ((triple4 triple2) -> rule6) OR ((triple4 triple3) -> rule5) OR ((((((triple2) -> rule8)) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule8)) -> rule2) triple3) -> rule5))] Gary is rough.[(triple6)] Harry is white.[(triple7)] @1: Fiona is rough.[(((triple2) -> rule8))] Gary is nice.[(((triple6) -> rule2))] @2: Fiona is furry.[(((triple3 ((triple2) -> rule8)) -> rule1))] Fiona is round.[(((triple5 ((triple2) -> rule8)) -> rule4) OR ((((triple4 triple2) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((triple4 triple3) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((((((((triple2) -> rule8)) -> rule2) triple2) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((((triple2) -> rule8)) -> rule2) triple3) -> rule5) ((triple2) -> rule8)) -> rule4))] Gary is big.[(((((triple6) -> rule2) triple6) -> rule7))] @3: Gary is white.[(((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule7)) -> rule6))] @4: Gary is round.[(((((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule7)) -> rule6) triple6) -> rule4))] @5: Gary is blue.[(((((((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule7)) -> rule6) triple6) -> rule4)) -> rule3))] @6: Gary is furry.[(((((((((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule7)) -> rule6) triple6) -> rule4)) -> rule3) triple6) -> rule1))]