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