Charlie is big. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is young. Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is smart. Dave is young. Erin is big. Erin is kind. Erin is smart. If Charlie is young then Charlie is big. Big things are cold. If Charlie is young and Charlie is cold then Charlie is kind. All cold things are big. If Erin is cold then Erin is young. If Charlie is young then Charlie is quiet. Big things are kind. All smart, rough things are big.
Charlie is rough.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule4) OR ((triple6) -> rule1))] Charlie is cold.[(triple2 OR ((triple1) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Charlie is kind.[(triple3 OR ((triple1) -> rule7) OR ((triple6 triple2) -> rule3) OR ((((triple2) -> rule4)) -> rule7) OR ((((triple6) -> rule1)) -> rule7) OR ((triple6 ((triple1) -> rule2)) -> rule3) OR ((triple6 ((((triple6) -> rule1)) -> rule2)) -> rule3))] Charlie is quiet.[(triple4 OR ((triple6) -> rule6))] Charlie is smart.[(triple5)] Charlie is young.[(triple6)] Dave is cold.[(triple7 OR ((((triple11 triple10) -> rule8)) -> rule2))] Dave is kind.[(triple8 OR ((((triple7) -> rule4)) -> rule7) OR ((((triple11 triple10) -> rule8)) -> rule7))] Dave is quiet.[(triple9)] Dave is rough.[(triple10)] Dave is smart.[(triple11)] Dave is young.[(triple12)] Erin is big.[(triple13)] Erin is kind.[(triple14 OR ((triple13) -> rule7))] Erin is smart.[(triple15)] @1: Dave is big.[(((triple7) -> rule4) OR ((triple11 triple10) -> rule8))] Erin is cold.[(((triple13) -> rule2))] @2: Erin is young.[(((((triple13) -> rule2)) -> rule5))]