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