Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is white. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. Harry is cold. Harry is white. Furry, white people are round. All furry, quiet people are rough. If someone is kind then they are furry. Rough people are round. Quiet, furry people are kind. Cold people are furry. If Fiona is kind and Fiona is cold then Fiona is rough. If someone is cold and rough then they are kind.
Harry is rough.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2 OR ((triple1) -> rule6) OR ((triple3) -> rule3) OR ((((triple1 triple5) -> rule8)) -> rule3))] Dave is kind.[(triple3 OR ((triple1 triple5) -> rule8) OR ((triple4 triple2) -> rule5) OR ((triple1 ((triple2 triple4) -> rule2)) -> rule8) OR ((triple4 ((triple1) -> rule6)) -> rule5) OR ((triple1 ((((triple1) -> rule6) triple4) -> rule2)) -> rule8))] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple2 triple4) -> rule2) OR ((((triple1) -> rule6) triple4) -> rule2) OR ((((triple3) -> rule3) triple4) -> rule2))] Dave is round.[(triple6 OR ((triple5) -> rule4) OR ((triple2 triple7) -> rule1) OR ((((triple2 triple4) -> rule2)) -> rule4) OR ((((triple1) -> rule6) triple7) -> rule1) OR ((((triple3) -> rule3) triple7) -> rule1) OR ((((((triple1) -> rule6) triple4) -> rule2)) -> rule4) OR ((((((triple3) -> rule3) triple4) -> rule2)) -> rule4) OR ((((((triple1 triple5) -> rule8)) -> rule3) triple7) -> rule1))] Dave is white.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9 OR ((triple10) -> rule3) OR ((triple8) -> rule6) OR ((((triple8 triple12) -> rule8)) -> rule3))] Fiona is kind.[(triple10 OR ((triple11 triple9) -> rule5) OR ((triple8 triple12) -> rule8) OR ((triple11 ((triple8) -> rule6)) -> rule5) OR ((triple8 ((triple9 triple11) -> rule2)) -> rule8) OR ((triple8 ((((triple8) -> rule6) triple11) -> rule2)) -> rule8))] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12 OR ((triple10 triple8) -> rule7) OR ((triple9 triple11) -> rule2) OR ((((triple10) -> rule3) triple11) -> rule2) OR ((((triple8) -> rule6) triple11) -> rule2) OR ((((triple11 triple9) -> rule5) triple8) -> rule7) OR ((((triple11 ((triple8) -> rule6)) -> rule5) triple8) -> rule7))] Fiona is round.[(triple13 OR ((triple12) -> rule4) OR ((triple9 triple14) -> rule1) OR ((((triple10 triple8) -> rule7)) -> rule4) OR ((((triple9 triple11) -> rule2)) -> rule4) OR ((((triple10) -> rule3) triple14) -> rule1) OR ((((triple8) -> rule6) triple14) -> rule1) OR ((((((triple10) -> rule3) triple11) -> rule2)) -> rule4) OR ((((((triple8) -> rule6) triple11) -> rule2)) -> rule4) OR ((((((triple11 triple9) -> rule5) triple8) -> rule7)) -> rule4) OR ((((((triple8 triple12) -> rule8)) -> rule3) triple14) -> rule1) OR ((((((triple11 ((triple8) -> rule6)) -> rule5) triple8) -> rule7)) -> rule4))] Fiona is white.[(triple14)] Harry is cold.[(triple15)] Harry is white.[(triple16)] @1: Harry is furry.[(((triple15) -> rule6))] @2: Harry is round.[(((((triple15) -> rule6) triple16) -> rule1))]