Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Bob is big. Bob is furry. Bob is nice. Bob is quiet. Erin is cold. Erin is nice. Erin is quiet. Gary is big. Gary is cold. Gary is rough. All cold, furry people are kind. If someone is furry then they are rough. If Erin is cold and Erin is furry then Erin is big. Furry, cold people are big. Nice people are rough. Cold, kind people are nice. If someone is cold then they are nice. If someone is rough and quiet then they are furry.
Anne is furry.
@0: Anne is big.[(triple1 OR ((((triple6 triple5) -> rule8) triple2) -> rule4) OR ((((((triple4) -> rule5) triple5) -> rule8) triple2) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple5) -> rule8) triple2) -> rule4) OR ((((((((triple2 triple3) -> rule6)) -> rule5) triple5) -> rule8) triple2) -> rule4))] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple2 ((triple6 triple5) -> rule8)) -> rule1) OR ((triple2 ((((triple4) -> rule5) triple5) -> rule8)) -> rule1) OR ((triple2 ((((((triple2) -> rule7)) -> rule5) triple5) -> rule8)) -> rule1))] Anne is nice.[(triple4 OR ((triple2) -> rule7) OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple2 ((triple6 triple5) -> rule8)) -> rule1)) -> rule6))] Anne is quiet.[(triple5)] Anne is rough.[(triple6 OR ((triple4) -> rule5) OR ((((triple2) -> rule7)) -> rule5) OR ((((triple2 triple3) -> rule6)) -> rule5))] Bob is big.[(triple7)] Bob is furry.[(triple8 OR ((((triple9) -> rule5) triple10) -> rule8))] Bob is nice.[(triple9)] Bob is quiet.[(triple10)] Erin is cold.[(triple11)] Erin is nice.[(triple12 OR ((triple11) -> rule7))] Erin is quiet.[(triple13)] Gary is big.[(triple14)] Gary is cold.[(triple15)] Gary is rough.[(triple16 OR ((((triple15) -> rule7)) -> rule5))] @1: Anne is furry.[(((triple6 triple5) -> rule8) OR ((((triple4) -> rule5) triple5) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) triple5) -> rule8) OR ((((((triple2 triple3) -> rule6)) -> rule5) triple5) -> rule8))] Bob is rough.[(((triple8) -> rule2) OR ((triple9) -> rule5))] Erin is rough.[(((triple12) -> rule5) OR ((((triple11) -> rule7)) -> rule5))] Gary is nice.[(((triple15) -> rule7))] @2: Erin is furry.[(((((triple12) -> rule5) triple13) -> rule8) OR ((((((triple11) -> rule7)) -> rule5) triple13) -> rule8))] @3: Erin is big.[(((triple11 ((((triple12) -> rule5) triple13) -> rule8)) -> rule3) OR ((((((triple12) -> rule5) triple13) -> rule8) triple11) -> rule4) OR ((triple11 ((((((triple11) -> rule7)) -> rule5) triple13) -> rule8)) -> rule3) OR ((((((((triple11) -> rule7)) -> rule5) triple13) -> rule8) triple11) -> rule4))] Erin is kind.[(((triple11 ((((triple12) -> rule5) triple13) -> rule8)) -> rule1) OR ((triple11 ((((((triple11) -> rule7)) -> rule5) triple13) -> rule8)) -> rule1))]