Charlie is big. Charlie is nice. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is rough. If someone is green then they are nice. Rough people are nice. All nice, cold people are furry. If Dave is cold then Dave is big. If someone is rough and cold then they are big. If Dave is green and Dave is cold then Dave is nice. All cold people are big. All cold, furry people are young.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4 OR ((triple6 triple3) -> rule3) OR ((((triple5) -> rule1) triple3) -> rule3) OR ((((triple7) -> rule2) triple3) -> rule3) OR ((((triple5 triple3) -> rule6) triple3) -> rule3))] Dave is green.[(triple5)] Dave is nice.[(triple6 OR ((triple5) -> rule1) OR ((triple7) -> rule2) OR ((triple5 triple3) -> rule6))] Dave is rough.[(triple7)] @1: Dave is big.[(((triple3) -> rule4) OR ((triple3) -> rule7) OR ((triple7 triple3) -> rule5))] Dave is young.[(((triple3 triple4) -> rule8) OR ((triple3 ((triple6 triple3) -> rule3)) -> rule8) OR ((triple3 ((((triple5) -> rule1) triple3) -> rule3)) -> rule8) OR ((triple3 ((((triple7) -> rule2) triple3) -> rule3)) -> rule8) OR ((triple3 ((((triple5 triple3) -> rule6) triple3) -> rule3)) -> rule8))]