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