Bob is rough. Dave is furry. Dave is nice. Dave is not red. Dave is smart. Fiona is green. Fiona is nice. Harry is blue. Harry is furry. Harry is green. Harry is nice. Harry is not red. Harry is rough. Harry is smart. Smart things are green. If something is nice and not rough then it is red. If something is nice then it is smart. If something is rough then it is nice. If something is blue then it is furry. All blue, smart things are furry. If Bob is furry and Bob is not rough then Bob is green. If something is green then it is blue. If something is red and not nice then it is not blue.
Harry is not smart.
@0: Bob is rough.[(triple1)] Dave is furry.[(triple2 OR ((((((triple5) -> rule1)) -> rule8)) -> rule5) OR ((((((triple5) -> rule1)) -> rule8) triple5) -> rule6) OR ((((((triple5) -> rule1)) -> rule8) ((triple3) -> rule3)) -> rule6) OR ((((((((triple3) -> rule3)) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule1)) -> rule8) triple5) -> rule6) OR ((((((((triple3) -> rule3)) -> rule1)) -> rule8) ((triple3) -> rule3)) -> rule6))] Dave is nice.[(triple3)] Dave is not red.[(triple4)] Dave is smart.[(triple5 OR ((triple3) -> rule3))] Fiona is green.[(triple6 OR ((((triple7) -> rule3)) -> rule1))] Fiona is nice.[(triple7)] Harry is blue.[(triple8 OR ((triple10) -> rule8) OR ((((triple14) -> rule1)) -> rule8) OR ((((((triple11) -> rule3)) -> rule1)) -> rule8) OR ((((((((triple13) -> rule4)) -> rule3)) -> rule1)) -> rule8))] Harry is furry.[(triple9 OR ((triple8) -> rule5) OR ((triple8 triple14) -> rule6) OR ((((triple10) -> rule8)) -> rule5) OR ((triple8 ((triple11) -> rule3)) -> rule6) OR ((((triple10) -> rule8) triple14) -> rule6) OR ((((triple10) -> rule8) ((triple11) -> rule3)) -> rule6) OR ((((((triple14) -> rule1)) -> rule8)) -> rule5) OR ((triple8 ((((triple13) -> rule4)) -> rule3)) -> rule6) OR ((((((triple14) -> rule1)) -> rule8) triple14) -> rule6) OR ((((triple10) -> rule8) ((((triple13) -> rule4)) -> rule3)) -> rule6) OR ((((((triple14) -> rule1)) -> rule8) ((triple11) -> rule3)) -> rule6) OR ((((((triple14) -> rule1)) -> rule8) ((((triple13) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple11) -> rule3)) -> rule1)) -> rule8) triple14) -> rule6) OR ((((((((triple11) -> rule3)) -> rule1)) -> rule8) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule1)) -> rule8) ((((triple13) -> rule4)) -> rule3)) -> rule6) OR ((((((((((triple13) -> rule4)) -> rule3)) -> rule1)) -> rule8)) -> rule5) OR ((((((((((triple13) -> rule4)) -> rule3)) -> rule1)) -> rule8) triple14) -> rule6) OR ((((((((((triple13) -> rule4)) -> rule3)) -> rule1)) -> rule8) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple13) -> rule4)) -> rule3)) -> rule1)) -> rule8) ((((triple13) -> rule4)) -> rule3)) -> rule6))] Harry is green.[(triple10 OR ((triple14) -> rule1) OR ((((triple11) -> rule3)) -> rule1) OR ((((((triple13) -> rule4)) -> rule3)) -> rule1))] Harry is nice.[(triple11 OR ((triple13) -> rule4))] Harry is not red.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14 OR ((triple11) -> rule3) OR ((((triple13) -> rule4)) -> rule3))] @1: Bob is nice.[(((triple1) -> rule4))] Dave is green.[(((triple5) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] Fiona is blue.[(((triple6) -> rule8) OR ((((((triple7) -> rule3)) -> rule1)) -> rule8))] Fiona is smart.[(((triple7) -> rule3))] @2: Bob is smart.[(((((triple1) -> rule4)) -> rule3))] Dave is blue.[(((((triple5) -> rule1)) -> rule8) OR ((((((triple3) -> rule3)) -> rule1)) -> rule8))] Fiona is furry.[(((((triple6) -> rule8)) -> rule5) OR ((((triple6) -> rule8) ((triple7) -> rule3)) -> rule6) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule8) ((triple7) -> rule3)) -> rule6))] @3: Bob is green.[(((((((triple1) -> rule4)) -> rule3)) -> rule1))] @4: Bob is blue.[(((((((((triple1) -> rule4)) -> rule3)) -> rule1)) -> rule8))] @5: Bob is furry.[(((((((((((triple1) -> rule4)) -> rule3)) -> rule1)) -> rule8)) -> rule5) OR ((((((((((triple1) -> rule4)) -> rule3)) -> rule1)) -> rule8) ((((triple1) -> rule4)) -> rule3)) -> rule6))]