Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is round. Dave is white. Dave is young. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is round. Harry is white. Harry is young. All young, round things are nice. If something is furry and white then it is nice. If something is furry then it is young. If Harry is furry and Harry is red then Harry is young. Furry, nice things are round. If something is round then it is furry. If something is green then it is red. White, green things are young.
Harry is green.
@0: Dave is furry.[(triple1 OR ((triple5) -> rule6))] Dave is green.[(triple2)] Dave is nice.[(triple3 OR ((triple1 triple6) -> rule2) OR ((triple7 triple5) -> rule1) OR ((((triple1) -> rule3) triple5) -> rule1) OR ((((triple5) -> rule6) triple6) -> rule2) OR ((((triple6 triple2) -> rule8) triple5) -> rule1) OR ((((((triple5) -> rule6)) -> rule3) triple5) -> rule1))] Dave is red.[(triple4 OR ((triple2) -> rule7))] Dave is round.[(triple5 OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple1 triple6) -> rule2)) -> rule5))] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple1) -> rule3) OR ((triple6 triple2) -> rule8) OR ((((triple5) -> rule6)) -> rule3))] Harry is furry.[(triple8 OR ((triple12) -> rule6))] Harry is green.[(triple9)] Harry is nice.[(triple10 OR ((triple14 triple12) -> rule1) OR ((triple8 triple13) -> rule2) OR ((((triple12) -> rule6) triple13) -> rule2) OR ((((triple8) -> rule3) triple12) -> rule1) OR ((((triple13 triple9) -> rule8) triple12) -> rule1) OR ((((triple8 triple11) -> rule4) triple12) -> rule1) OR ((((((triple12) -> rule6)) -> rule3) triple12) -> rule1) OR ((((triple8 ((triple9) -> rule7)) -> rule4) triple12) -> rule1) OR ((((((triple12) -> rule6) triple11) -> rule4) triple12) -> rule1) OR ((((((triple12) -> rule6) ((triple9) -> rule7)) -> rule4) triple12) -> rule1))] Harry is red.[(triple11 OR ((triple9) -> rule7))] Harry is round.[(triple12 OR ((triple8 triple10) -> rule5) OR ((triple8 ((triple8 triple13) -> rule2)) -> rule5))] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple8) -> rule3) OR ((triple13 triple9) -> rule8) OR ((triple8 triple11) -> rule4) OR ((((triple12) -> rule6)) -> rule3) OR ((triple8 ((triple9) -> rule7)) -> rule4) OR ((((triple12) -> rule6) triple11) -> rule4) OR ((((triple12) -> rule6) ((triple9) -> rule7)) -> rule4))]