Bob is furry. Bob is not white. Fiona is rough. Gary is not big. Gary is rough. Gary is white. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is rough. If Fiona is white then Fiona is kind. If something is big then it is not blue. If something is cold then it is kind. All white, furry things are big. All kind things are white. If something is rough then it is white. Kind, blue things are white. If something is white and kind then it is furry.
Fiona is blue.
@0: Bob is furry.[(triple1)] Bob is not white.[(triple2)] Fiona is rough.[(triple3)] Gary is not big.[(triple4)] Gary is rough.[(triple5)] Gary is white.[(triple6 OR ((triple5) -> rule6))] Harry is big.[(triple7 OR ((((triple10) -> rule5) triple9) -> rule4) OR ((((triple11) -> rule6) triple9) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) triple9) -> rule4) OR ((((triple10) -> rule5) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) OR ((((triple10) -> rule5) ((((triple11) -> rule6) triple10) -> rule8)) -> rule4) OR ((((triple11) -> rule6) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) OR ((((triple11) -> rule6) ((((triple11) -> rule6) triple10) -> rule8)) -> rule4) OR ((((triple10) -> rule5) ((((triple10) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4) OR ((((triple10) -> rule5) ((((triple11) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule4) OR ((((triple11) -> rule6) ((((triple10) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4) OR ((((triple11) -> rule6) ((((triple11) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) ((((triple11) -> rule6) triple10) -> rule8)) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) ((((triple10) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) ((((triple11) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule4) OR ((((triple10) -> rule5) ((((((triple8) -> rule3)) -> rule5) triple10) -> rule8)) -> rule4) OR ((((triple11) -> rule6) ((((((triple8) -> rule3)) -> rule5) triple10) -> rule8)) -> rule4) OR ((((triple10) -> rule5) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4) OR ((((triple11) -> rule6) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) ((((((triple8) -> rule3)) -> rule5) triple10) -> rule8)) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4))] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((((triple10) -> rule5) triple10) -> rule8) OR ((((triple11) -> rule6) triple10) -> rule8) OR ((((triple10) -> rule5) ((triple8) -> rule3)) -> rule8) OR ((((triple11) -> rule6) ((triple8) -> rule3)) -> rule8) OR ((((((triple8) -> rule3)) -> rule5) triple10) -> rule8) OR ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule8))] Harry is kind.[(triple10 OR ((triple8) -> rule3))] Harry is rough.[(triple11)] @1: Fiona is white.[(((triple3) -> rule6))] Harry is not blue.[(((triple7) -> rule2) OR ((((((triple10) -> rule5) triple9) -> rule4)) -> rule2) OR ((((((triple11) -> rule6) triple9) -> rule4)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule5) triple9) -> rule4)) -> rule2) OR ((((((triple10) -> rule5) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4)) -> rule2) OR ((((((triple10) -> rule5) ((((triple11) -> rule6) triple10) -> rule8)) -> rule4)) -> rule2) OR ((((((triple11) -> rule6) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4)) -> rule2) OR ((((((triple11) -> rule6) ((((triple11) -> rule6) triple10) -> rule8)) -> rule4)) -> rule2) OR ((((((triple10) -> rule5) ((((triple10) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple10) -> rule5) ((((triple11) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple11) -> rule6) ((((triple10) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple11) -> rule6) ((((triple11) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule5) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule5) ((((triple11) -> rule6) triple10) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule5) ((((triple10) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule5) ((((triple11) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple10) -> rule5) ((((((triple8) -> rule3)) -> rule5) triple10) -> rule8)) -> rule4)) -> rule2) OR ((((((triple11) -> rule6) ((((((triple8) -> rule3)) -> rule5) triple10) -> rule8)) -> rule4)) -> rule2) OR ((((((triple10) -> rule5) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple11) -> rule6) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule5) ((((((triple8) -> rule3)) -> rule5) triple10) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule5) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule8)) -> rule4)) -> rule2))] Harry is white.[(((triple10) -> rule5) OR ((triple11) -> rule6) OR ((((triple8) -> rule3)) -> rule5))] @2: Fiona is kind.[(((((triple3) -> rule6)) -> rule1))] @3: Fiona is furry.[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule1)) -> rule8))] @4: Fiona is big.[(((((triple3) -> rule6) ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule4))] @5: Fiona is not blue.[(((((((triple3) -> rule6) ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule4)) -> rule2))]