Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Anne is white. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is white. Fiona is big. Fiona is furry. Fiona is red. Fiona is white. All quiet things are big. If something is white then it is big. If something is big then it is white. If something is cold then it is red. Cold, furry things are kind. If Fiona is furry and Fiona is quiet then Fiona is kind. All quiet, furry things are white. Red, cold things are big.
Dave is cold.
@0: Anne is big.[(triple1 OR ((triple5) -> rule1) OR ((triple7) -> rule2) OR ((triple6 triple2) -> rule8) OR ((((triple5 triple3) -> rule7)) -> rule2) OR ((((triple2) -> rule4) triple2) -> rule8))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4 OR ((triple2 triple3) -> rule5))] Anne is quiet.[(triple5)] Anne is red.[(triple6 OR ((triple2) -> rule4))] Anne is white.[(triple7 OR ((triple1) -> rule3) OR ((triple5 triple3) -> rule7) OR ((((triple5) -> rule1)) -> rule3) OR ((((triple6 triple2) -> rule8)) -> rule3) OR ((((((triple2) -> rule4) triple2) -> rule8)) -> rule3))] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is white.[(triple12 OR ((triple10 triple8) -> rule7) OR ((((triple10) -> rule1)) -> rule3))] Fiona is big.[(triple13 OR ((triple16) -> rule2))] Fiona is furry.[(triple14)] Fiona is red.[(triple15)] Fiona is white.[(triple16 OR ((triple13) -> rule3))] @1: Dave is big.[(((triple10) -> rule1) OR ((triple12) -> rule2) OR ((((triple10 triple8) -> rule7)) -> rule2))]