Dave is big. Dave is furry. Dave is young. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is red. Erin is smart. Erin is young. Fiona is big. Fiona is cold. Fiona is red. Fiona is smart. Fiona is young. If someone is smart and young then they are green. If Erin is red then Erin is young. If someone is red and green then they are smart. Young, cold people are green. If someone is green and cold then they are smart. Green people are young. Young, big people are smart. If Fiona is cold then Fiona is furry.
Erin is big.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple10 triple5) -> rule4) OR ((triple9 triple10) -> rule1) OR ((triple9 ((triple8) -> rule2)) -> rule1) OR ((((triple8) -> rule2) triple5) -> rule4) OR ((((triple10 triple4) -> rule7) triple10) -> rule1) OR ((((triple10 triple4) -> rule7) ((triple8) -> rule2)) -> rule1) OR ((((((triple8) -> rule2) triple4) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule2) triple4) -> rule7) ((triple8) -> rule2)) -> rule1))] Erin is red.[(triple8)] Erin is smart.[(triple9 OR ((triple10 triple4) -> rule7) OR ((triple7 triple5) -> rule5) OR ((triple8 triple7) -> rule3) OR ((triple8 ((triple10 triple5) -> rule4)) -> rule3) OR ((((triple7) -> rule6) triple4) -> rule7) OR ((((triple8) -> rule2) triple4) -> rule7) OR ((((triple10 triple5) -> rule4) triple5) -> rule5) OR ((triple8 ((((triple8) -> rule2) triple5) -> rule4)) -> rule3) OR ((((((triple8) -> rule2) triple5) -> rule4) triple5) -> rule5))] Erin is young.[(triple10 OR ((triple7) -> rule6) OR ((triple8) -> rule2))] Fiona is big.[(triple11)] Fiona is cold.[(triple12)] Fiona is red.[(triple13)] Fiona is smart.[(triple14 OR ((triple15 triple11) -> rule7) OR ((triple13 ((triple15 triple12) -> rule4)) -> rule3) OR ((((triple15 triple12) -> rule4) triple12) -> rule5))] Fiona is young.[(triple15)] @1: Dave is smart.[(((triple3 triple1) -> rule7))] Fiona is furry.[(((triple12) -> rule8))] Fiona is green.[(((triple14 triple15) -> rule1) OR ((triple15 triple12) -> rule4) OR ((((triple15 triple11) -> rule7) triple15) -> rule1))] @2: Dave is green.[(((((triple3 triple1) -> rule7) triple3) -> rule1))]