Anne is rough. Anne is round. Dave is furry. Dave is green. Dave is nice. Dave is rough. Dave is round. Dave is smart. Gary is furry. Harry is cold. Harry is furry. Harry is smart. If Dave is green and Dave is nice then Dave is cold. Cold, green people are round. If someone is cold then they are round. All nice people are rough. Nice, green people are smart. If Anne is green and Anne is cold then Anne is rough. All smart people are cold. If someone is furry then they are smart.
Harry is green.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6 OR ((triple5) -> rule4))] Dave is round.[(triple7 OR ((((triple8) -> rule7)) -> rule3) OR ((((triple4 triple5) -> rule1)) -> rule3) OR ((((triple8) -> rule7) triple4) -> rule2) OR ((((triple4 triple5) -> rule1) triple4) -> rule2) OR ((((((triple3) -> rule8)) -> rule7)) -> rule3) OR ((((((triple5 triple4) -> rule5)) -> rule7)) -> rule3) OR ((((((triple3) -> rule8)) -> rule7) triple4) -> rule2) OR ((((((triple5 triple4) -> rule5)) -> rule7) triple4) -> rule2))] Dave is smart.[(triple8 OR ((triple3) -> rule8) OR ((triple5 triple4) -> rule5))] Gary is furry.[(triple9)] Harry is cold.[(triple10 OR ((triple12) -> rule7) OR ((((triple11) -> rule8)) -> rule7))] Harry is furry.[(triple11)] Harry is smart.[(triple12 OR ((triple11) -> rule8))] @1: Dave is cold.[(((triple8) -> rule7) OR ((triple4 triple5) -> rule1) OR ((((triple3) -> rule8)) -> rule7) OR ((((triple5 triple4) -> rule5)) -> rule7))] Gary is smart.[(((triple9) -> rule8))] Harry is round.[(((triple10) -> rule3) OR ((((triple12) -> rule7)) -> rule3) OR ((((((triple11) -> rule8)) -> rule7)) -> rule3))] @2: Gary is cold.[(((((triple9) -> rule8)) -> rule7))] @3: Gary is round.[(((((((triple9) -> rule8)) -> rule7)) -> rule3))]