Anne is big. Anne is furry. Anne is kind. Anne is white. Dave is cold. Dave is kind. Dave is red. Dave is rough. Dave is white. Fiona is cold. Fiona is white. Harry is kind. Kind people are red. All cold, furry people are big. Red, big people are kind. All big, cold people are white. All red, rough people are furry. All rough, white people are furry.
Harry is rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is white.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6 OR ((triple7 ((triple5 ((triple7 triple8) -> rule5)) -> rule2)) -> rule3) OR ((triple7 ((triple5 ((triple8 triple9) -> rule6)) -> rule2)) -> rule3))] Dave is red.[(triple7 OR ((triple6) -> rule1))] Dave is rough.[(triple8)] Dave is white.[(triple9 OR ((((triple5 ((triple7 triple8) -> rule5)) -> rule2) triple5) -> rule4) OR ((((triple5 ((((triple6) -> rule1) triple8) -> rule5)) -> rule2) triple5) -> rule4))] Fiona is cold.[(triple10)] Fiona is white.[(triple11)] Harry is kind.[(triple12)] @1: Anne is red.[(((triple3) -> rule1))] Dave is furry.[(((triple7 triple8) -> rule5) OR ((triple8 triple9) -> rule6) OR ((((triple6) -> rule1) triple8) -> rule5))] Harry is red.[(((triple12) -> rule1))] @2: Dave is big.[(((triple5 ((triple7 triple8) -> rule5)) -> rule2) OR ((triple5 ((triple8 triple9) -> rule6)) -> rule2) OR ((triple5 ((((triple6) -> rule1) triple8) -> rule5)) -> rule2))]