Bob is big. Bob is blue. Dave is big. Dave is kind. Dave is nice. Erin is blue. Erin is furry. Erin is young. Fiona is nice. Fiona is smart. Furry people are blue. If Fiona is nice then Fiona is kind. All big people are kind. Kind people are smart. If someone is blue and young then they are nice. All big, kind people are young. If someone is kind and smart then they are nice. All blue, furry people are smart.
Erin is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Dave is big.[(triple3)] Dave is kind.[(triple4 OR ((triple3) -> rule3))] Dave is nice.[(triple5 OR ((triple4 ((triple4) -> rule4)) -> rule7) OR ((((triple3) -> rule3) ((triple4) -> rule4)) -> rule7) OR ((triple4 ((((triple3) -> rule3)) -> rule4)) -> rule7) OR ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule4)) -> rule7))] Erin is blue.[(triple6 OR ((triple7) -> rule1))] Erin is furry.[(triple7)] Erin is young.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10 OR ((((triple9) -> rule2)) -> rule4))] @1: Bob is kind.[(((triple1) -> rule3))] Dave is smart.[(((triple4) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] Dave is young.[(((triple3 triple4) -> rule6) OR ((triple3 ((triple3) -> rule3)) -> rule6))] Erin is nice.[(((triple6 triple8) -> rule5) OR ((((triple7) -> rule1) triple8) -> rule5))] Erin is smart.[(((triple6 triple7) -> rule8) OR ((((triple7) -> rule1) triple7) -> rule8))] Fiona is kind.[(((triple9) -> rule2))] @2: Bob is smart.[(((((triple1) -> rule3)) -> rule4))] Bob is young.[(((triple1 ((triple1) -> rule3)) -> rule6))] @3: Bob is nice.[(((triple2 ((triple1 ((triple1) -> rule3)) -> rule6)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule4)) -> rule7))]