Bob is rough. Fiona is cold. Fiona is rough. Gary is big. Gary is quiet. Harry is big. Harry is rough. If someone is white and smart then they are furry. All rough people are big. All furry people are white. If someone is quiet and cold then they are white. All furry people are white. If Harry is big then Harry is cold. Big, smart people are quiet. If someone is big then they are smart.
Harry is not white.
@0: Bob is rough.[(triple1)] Fiona is cold.[(triple2)] Fiona is rough.[(triple3)] Gary is big.[(triple4)] Gary is quiet.[(triple5 OR ((triple4 ((triple4) -> rule8)) -> rule7))] Harry is big.[(triple6 OR ((triple7) -> rule2))] Harry is rough.[(triple7)] @1: Bob is big.[(((triple1) -> rule2))] Fiona is big.[(((triple3) -> rule2))] Gary is smart.[(((triple4) -> rule8))] Harry is cold.[(((triple6) -> rule6) OR ((((triple7) -> rule2)) -> rule6))] Harry is smart.[(((triple6) -> rule8) OR ((((triple7) -> rule2)) -> rule8))] @2: Bob is smart.[(((((triple1) -> rule2)) -> rule8))] Fiona is smart.[(((((triple3) -> rule2)) -> rule8))] Harry is quiet.[(((triple6 ((triple6) -> rule8)) -> rule7) OR ((((triple7) -> rule2) ((triple6) -> rule8)) -> rule7) OR ((triple6 ((((triple7) -> rule2)) -> rule8)) -> rule7) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule8)) -> rule7))] @3: Bob is quiet.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule8)) -> rule7))] Fiona is quiet.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule8)) -> rule7))] Harry is white.[(((((triple6 ((triple6) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) OR ((((triple6 ((triple6) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((triple6) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((triple6) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((triple6 ((((triple7) -> rule2)) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) OR ((((triple6 ((((triple7) -> rule2)) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4))] @4: Fiona is white.[(((((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule8)) -> rule7) triple2) -> rule4))] Harry is furry.[(((((((triple6 ((triple6) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) ((triple6) -> rule8)) -> rule1) OR ((((((triple6 ((triple6) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) ((((triple7) -> rule2)) -> rule8)) -> rule1) OR ((((((triple6 ((triple6) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) ((triple6) -> rule8)) -> rule1) OR ((((((((triple7) -> rule2) ((triple6) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) ((triple6) -> rule8)) -> rule1) OR ((((((triple6 ((triple6) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) ((((triple7) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple7) -> rule2) ((triple6) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) ((((triple7) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple7) -> rule2) ((triple6) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) ((triple6) -> rule8)) -> rule1) OR ((((((((triple7) -> rule2) ((triple6) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) ((((triple7) -> rule2)) -> rule8)) -> rule1) OR ((((((triple6 ((((triple7) -> rule2)) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) ((triple6) -> rule8)) -> rule1) OR ((((((triple6 ((((triple7) -> rule2)) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) ((((triple7) -> rule2)) -> rule8)) -> rule1) OR ((((((triple6 ((((triple7) -> rule2)) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) ((triple6) -> rule8)) -> rule1) OR ((((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) ((triple6) -> rule8)) -> rule1) OR ((((((triple6 ((((triple7) -> rule2)) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) ((((triple7) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule8)) -> rule7) ((triple6) -> rule6)) -> rule4) ((((triple7) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) ((triple6) -> rule8)) -> rule1) OR ((((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule8)) -> rule7) ((((triple7) -> rule2)) -> rule6)) -> rule4) ((((triple7) -> rule2)) -> rule8)) -> rule1))] @5: Fiona is furry.[(((((((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule8)) -> rule7) triple2) -> rule4) ((((triple3) -> rule2)) -> rule8)) -> rule1))]