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