Dave is blue. Dave is furry. Dave is nice. Dave is red. Dave is rough. Fiona is blue. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Gary is blue. Gary is rough. Gary is white. Harry is furry. Harry is nice. Harry is rough. White, blue people are red. Blue, white people are furry. If someone is smart then they are rough. All rough people are blue. White, rough people are furry. All rough people are nice. If Gary is red and Gary is nice then Gary is furry. All blue, white people are furry.
Gary is rough.
@0: Dave is blue.[(triple1 OR ((triple5) -> rule4))] Dave is furry.[(triple2)] Dave is nice.[(triple3 OR ((triple5) -> rule6))] Dave is red.[(triple4)] Dave is rough.[(triple5)] Fiona is blue.[(triple6 OR ((triple8) -> rule4) OR ((((triple9) -> rule3)) -> rule4))] Fiona is red.[(triple7 OR ((triple10 triple6) -> rule1) OR ((triple10 ((triple8) -> rule4)) -> rule1) OR ((triple10 ((((triple9) -> rule3)) -> rule4)) -> rule1))] Fiona is rough.[(triple8 OR ((triple9) -> rule3))] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] Gary is blue.[(triple11 OR ((triple12) -> rule4))] Gary is rough.[(triple12)] Gary is white.[(triple13)] Harry is furry.[(triple14)] Harry is nice.[(triple15 OR ((triple16) -> rule6))] Harry is rough.[(triple16)] @1: Fiona is furry.[(((triple10 triple8) -> rule5) OR ((triple6 triple10) -> rule2) OR ((triple6 triple10) -> rule8) OR ((triple10 ((triple9) -> rule3)) -> rule5) OR ((((triple8) -> rule4) triple10) -> rule2) OR ((((triple8) -> rule4) triple10) -> rule8) OR ((((((triple9) -> rule3)) -> rule4) triple10) -> rule2) OR ((((((triple9) -> rule3)) -> rule4) triple10) -> rule8))] Fiona is nice.[(((triple8) -> rule6) OR ((((triple9) -> rule3)) -> rule6))] Gary is furry.[(((triple11 triple13) -> rule2) OR ((triple11 triple13) -> rule8) OR ((triple13 triple12) -> rule5) OR ((((triple12) -> rule4) triple13) -> rule2) OR ((((triple12) -> rule4) triple13) -> rule8) OR ((((triple13 triple11) -> rule1) ((triple12) -> rule6)) -> rule7) OR ((((triple13 ((triple12) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule7))] Gary is nice.[(((triple12) -> rule6))] Gary is red.[(((triple13 triple11) -> rule1) OR ((triple13 ((triple12) -> rule4)) -> rule1))] Harry is blue.[(((triple16) -> rule4))]