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