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