Bob is furry. Dave is blue. Dave is rough. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is rough. Erin is young. If Dave is big then Dave is green. Blue, furry people are rough. All big people are young. If someone is cold and young then they are blue. All green, blue people are rough. Young people are furry. All cold, rough people are big. If Dave is big then Dave is young.
Bob is furry.
@0: Bob is furry.[(triple1)] Dave is blue.[(triple2)] Dave is rough.[(triple3)] Erin is big.[(triple4 OR ((triple6 triple9) -> rule7) OR ((triple6 ((triple5 triple7) -> rule2)) -> rule7) OR ((triple6 ((triple8 triple5) -> rule5)) -> rule7) OR ((triple6 ((triple5 ((triple10) -> rule6)) -> rule2)) -> rule7) OR ((triple6 ((triple8 ((triple6 triple10) -> rule4)) -> rule5)) -> rule7) OR ((triple6 ((((triple6 triple10) -> rule4) triple7) -> rule2)) -> rule7) OR ((triple6 ((((triple6 triple10) -> rule4) ((triple10) -> rule6)) -> rule2)) -> rule7))] Erin is blue.[(triple5 OR ((triple6 triple10) -> rule4) OR ((triple6 ((triple4) -> rule3)) -> rule4) OR ((triple6 ((((triple6 triple9) -> rule7)) -> rule3)) -> rule4))] Erin is cold.[(triple6)] Erin is furry.[(triple7 OR ((triple10) -> rule6) OR ((((triple4) -> rule3)) -> rule6) OR ((((((triple6 triple9) -> rule7)) -> rule3)) -> rule6) OR ((((((triple6 ((triple8 triple5) -> rule5)) -> rule7)) -> rule3)) -> rule6))] Erin is green.[(triple8)] Erin is rough.[(triple9 OR ((triple5 triple7) -> rule2) OR ((triple8 triple5) -> rule5) OR ((triple5 ((triple10) -> rule6)) -> rule2) OR ((triple8 ((triple6 triple10) -> rule4)) -> rule5) OR ((((triple6 triple10) -> rule4) triple7) -> rule2) OR ((((triple6 triple10) -> rule4) ((triple10) -> rule6)) -> rule2) OR ((triple5 ((((triple4) -> rule3)) -> rule6)) -> rule2) OR ((triple8 ((triple6 ((triple4) -> rule3)) -> rule4)) -> rule5) OR ((((triple6 ((triple4) -> rule3)) -> rule4) triple7) -> rule2) OR ((((triple6 triple10) -> rule4) ((((triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple6 ((triple4) -> rule3)) -> rule4) ((triple10) -> rule6)) -> rule2) OR ((((triple6 ((triple4) -> rule3)) -> rule4) ((((triple4) -> rule3)) -> rule6)) -> rule2))] Erin is young.[(triple10 OR ((triple4) -> rule3) OR ((((triple6 triple9) -> rule7)) -> rule3) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule7)) -> rule3) OR ((((triple6 ((triple8 triple5) -> rule5)) -> rule7)) -> rule3))]