Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is rough. Dave is round. Erin is blue. Erin is furry. Erin is rough. Fiona is furry. Fiona is nice. Harry is cold. Harry is furry. Harry is round. All round, kind things are furry. If something is round then it is cold. If something is round and cold then it is furry. All cold things are blue. If Harry is furry then Harry is nice. Nice, rough things are round. All nice, furry things are cold. If Harry is round then Harry is rough.
Erin is rough.
@0: Dave is blue.[(triple1 OR ((triple2) -> rule4) OR ((((triple7) -> rule2)) -> rule4) OR ((((triple5 triple3) -> rule7)) -> rule4) OR ((((((triple5 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple5 ((triple7 triple4) -> rule1)) -> rule7)) -> rule4) OR ((((triple5 ((((triple5 triple6) -> rule6) triple4) -> rule1)) -> rule7)) -> rule4))] Dave is cold.[(triple2 OR ((triple7) -> rule2) OR ((triple5 triple3) -> rule7) OR ((((triple5 triple6) -> rule6)) -> rule2) OR ((triple5 ((triple7 triple4) -> rule1)) -> rule7) OR ((triple5 ((((triple5 triple6) -> rule6) triple4) -> rule1)) -> rule7))] Dave is furry.[(triple3 OR ((triple7 triple2) -> rule3) OR ((triple7 triple4) -> rule1) OR ((triple7 ((triple7) -> rule2)) -> rule3) OR ((((triple5 triple6) -> rule6) triple2) -> rule3) OR ((((triple5 triple6) -> rule6) triple4) -> rule1) OR ((((triple5 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((triple7 ((((triple5 triple6) -> rule6)) -> rule2)) -> rule3) OR ((((triple5 triple6) -> rule6) ((((triple5 triple6) -> rule6)) -> rule2)) -> rule3))] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7 OR ((triple5 triple6) -> rule6))] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is rough.[(triple10)] Fiona is furry.[(triple11)] Fiona is nice.[(triple12)] Harry is cold.[(triple13 OR ((triple15) -> rule2) OR ((((triple14) -> rule5) triple14) -> rule7))] Harry is furry.[(triple14 OR ((triple15 triple13) -> rule3) OR ((triple15 ((triple15) -> rule2)) -> rule3))] Harry is round.[(triple15)] @1: Fiona is cold.[(((triple12 triple11) -> rule7))] Harry is blue.[(((triple13) -> rule4) OR ((((triple15) -> rule2)) -> rule4) OR ((((((triple14) -> rule5) triple14) -> rule7)) -> rule4))] Harry is nice.[(((triple14) -> rule5) OR ((((triple15 triple13) -> rule3)) -> rule5) OR ((((triple15 ((triple15) -> rule2)) -> rule3)) -> rule5))] Harry is rough.[(((triple15) -> rule8))] @2: Fiona is blue.[(((((triple12 triple11) -> rule7)) -> rule4))]