Charlie is big. Charlie is cold. Charlie is rough. Dave is blue. Dave is nice. Dave is rough. Dave is young. Fiona is big. Fiona is cold. Fiona is nice. Harry is kind. Harry is young. If something is young and big then it is rough. If Fiona is big and Fiona is cold then Fiona is young. If something is blue and cold then it is big. All big, rough things are kind. If Charlie is blue and Charlie is big then Charlie is kind. If something is cold and nice then it is blue. If Dave is blue then Dave is nice. Young, blue things are rough.
Dave is young.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is rough.[(triple3)] Dave is blue.[(triple4)] Dave is nice.[(triple5 OR ((triple4) -> rule7))] Dave is rough.[(triple6 OR ((triple7 triple4) -> rule8))] Dave is young.[(triple7)] Fiona is big.[(triple8 OR ((((triple9 triple10) -> rule6) triple9) -> rule3))] Fiona is cold.[(triple9)] Fiona is nice.[(triple10)] Harry is kind.[(triple11)] Harry is young.[(triple12)] @1: Charlie is kind.[(((triple1 triple3) -> rule4))] Fiona is blue.[(((triple9 triple10) -> rule6))] Fiona is young.[(((triple8 triple9) -> rule2) OR ((((((triple9 triple10) -> rule6) triple9) -> rule3) triple9) -> rule2))] @2: Fiona is rough.[(((((triple8 triple9) -> rule2) triple8) -> rule1) OR ((((triple8 triple9) -> rule2) ((triple9 triple10) -> rule6)) -> rule8) OR ((((triple8 triple9) -> rule2) ((((triple9 triple10) -> rule6) triple9) -> rule3)) -> rule1) OR ((((((((triple9 triple10) -> rule6) triple9) -> rule3) triple9) -> rule2) triple8) -> rule1) OR ((((((((triple9 triple10) -> rule6) triple9) -> rule3) triple9) -> rule2) ((triple9 triple10) -> rule6)) -> rule8) OR ((((((((triple9 triple10) -> rule6) triple9) -> rule3) triple9) -> rule2) ((((triple9 triple10) -> rule6) triple9) -> rule3)) -> rule1))] @3: Fiona is kind.[(((triple8 ((((triple8 triple9) -> rule2) triple8) -> rule1)) -> rule4) OR ((triple8 ((((triple8 triple9) -> rule2) ((triple9 triple10) -> rule6)) -> rule8)) -> rule4) OR ((((((triple9 triple10) -> rule6) triple9) -> rule3) ((((triple8 triple9) -> rule2) triple8) -> rule1)) -> rule4) OR ((((((triple9 triple10) -> rule6) triple9) -> rule3) ((((triple8 triple9) -> rule2) ((triple9 triple10) -> rule6)) -> rule8)) -> rule4) OR ((triple8 ((((triple8 triple9) -> rule2) ((((triple9 triple10) -> rule6) triple9) -> rule3)) -> rule1)) -> rule4) OR ((((((triple9 triple10) -> rule6) triple9) -> rule3) ((((triple8 triple9) -> rule2) ((((triple9 triple10) -> rule6) triple9) -> rule3)) -> rule1)) -> rule4) OR ((triple8 ((((((((triple9 triple10) -> rule6) triple9) -> rule3) triple9) -> rule2) triple8) -> rule1)) -> rule4) OR ((triple8 ((((((((triple9 triple10) -> rule6) triple9) -> rule3) triple9) -> rule2) ((triple9 triple10) -> rule6)) -> rule8)) -> rule4) OR ((triple8 ((((((((triple9 triple10) -> rule6) triple9) -> rule3) triple9) -> rule2) ((((triple9 triple10) -> rule6) triple9) -> rule3)) -> rule1)) -> rule4) OR ((((((triple9 triple10) -> rule6) triple9) -> rule3) ((((((((triple9 triple10) -> rule6) triple9) -> rule3) triple9) -> rule2) triple8) -> rule1)) -> rule4) OR ((((((triple9 triple10) -> rule6) triple9) -> rule3) ((((((((triple9 triple10) -> rule6) triple9) -> rule3) triple9) -> rule2) ((triple9 triple10) -> rule6)) -> rule8)) -> rule4) OR ((((((triple9 triple10) -> rule6) triple9) -> rule3) ((((((((triple9 triple10) -> rule6) triple9) -> rule3) triple9) -> rule2) ((((triple9 triple10) -> rule6) triple9) -> rule3)) -> rule1)) -> rule4))]