Bob is big. Bob is green. Bob is quiet. Bob is young. Charlie is big. Charlie is green. Charlie is quiet. Charlie is rough. Erin is big. Erin is green. Erin is quiet. Erin is young. Harry is cold. Harry is green. Harry is rough. Harry is young. Kind things are young. All rough things are green. If Harry is quiet and Harry is young then Harry is rough. If something is kind and quiet then it is rough. All cold, young things are kind. If Bob is rough and Bob is big then Bob is kind. All cold, green things are big. All young, green things are cold.
Charlie is kind.
@0: Bob is big.[(triple1 OR ((((triple4 triple2) -> rule8) triple2) -> rule7))] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4)] Charlie is big.[(triple5)] Charlie is green.[(triple6 OR ((triple8) -> rule2))] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8)] Erin is big.[(triple9 OR ((((triple12 triple10) -> rule8) triple10) -> rule7))] Erin is green.[(triple10)] Erin is quiet.[(triple11)] Erin is young.[(triple12)] Harry is cold.[(triple13 OR ((triple16 triple14) -> rule8) OR ((triple16 ((triple15) -> rule2)) -> rule8))] Harry is green.[(triple14 OR ((triple15) -> rule2))] Harry is rough.[(triple15)] Harry is young.[(triple16)] @1: Bob is cold.[(((triple4 triple2) -> rule8))] Erin is cold.[(((triple12 triple10) -> rule8))] Harry is big.[(((triple13 triple14) -> rule7) OR ((triple13 ((triple15) -> rule2)) -> rule7) OR ((((triple16 triple14) -> rule8) triple14) -> rule7) OR ((((triple16 triple14) -> rule8) ((triple15) -> rule2)) -> rule7) OR ((((triple16 ((triple15) -> rule2)) -> rule8) triple14) -> rule7) OR ((((triple16 ((triple15) -> rule2)) -> rule8) ((triple15) -> rule2)) -> rule7))] Harry is kind.[(((triple13 triple16) -> rule5) OR ((((triple16 triple14) -> rule8) triple16) -> rule5) OR ((((triple16 ((triple15) -> rule2)) -> rule8) triple16) -> rule5))] @2: Bob is kind.[(((((triple4 triple2) -> rule8) triple4) -> rule5))] Erin is kind.[(((((triple12 triple10) -> rule8) triple12) -> rule5))] @3: Bob is rough.[(((((((triple4 triple2) -> rule8) triple4) -> rule5) triple3) -> rule4))] Erin is rough.[(((((((triple12 triple10) -> rule8) triple12) -> rule5) triple11) -> rule4))]