Anne is cold. Anne is kind. Anne is young. Bob is kind. Charlie is round. Charlie is young. Harry is big. Harry is cold. Harry is kind. Harry is round. Harry is smart. Harry is young. If someone is smart and round then they are kind. If Charlie is cold then Charlie is big. Smart, young people are kind. All big people are kind. Kind, green people are cold. Young people are green. If someone is young and green then they are smart. If someone is smart then they are green.
Harry is not green.
@0: Anne is cold.[(triple1 OR ((triple2 ((triple3) -> rule6)) -> rule5) OR ((((((triple3 ((triple3) -> rule6)) -> rule7) triple3) -> rule3) ((triple3) -> rule6)) -> rule5))] Anne is kind.[(triple2 OR ((((triple3 ((triple3) -> rule6)) -> rule7) triple3) -> rule3))] Anne is young.[(triple3)] Bob is kind.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8 OR ((triple9 ((triple11) -> rule8)) -> rule5) OR ((triple9 ((triple12) -> rule6)) -> rule5) OR ((((triple7) -> rule4) ((triple11) -> rule8)) -> rule5) OR ((((triple7) -> rule4) ((triple12) -> rule6)) -> rule5) OR ((((triple11 triple10) -> rule1) ((triple11) -> rule8)) -> rule5) OR ((((triple11 triple10) -> rule1) ((triple12) -> rule6)) -> rule5) OR ((((triple11 triple12) -> rule3) ((triple11) -> rule8)) -> rule5) OR ((((triple11 triple12) -> rule3) ((triple12) -> rule6)) -> rule5) OR ((((((triple12 ((triple12) -> rule6)) -> rule7) triple10) -> rule1) ((triple11) -> rule8)) -> rule5) OR ((((((triple12 ((triple12) -> rule6)) -> rule7) triple10) -> rule1) ((triple12) -> rule6)) -> rule5) OR ((((((triple12 ((triple12) -> rule6)) -> rule7) triple12) -> rule3) ((triple11) -> rule8)) -> rule5) OR ((((((triple12 ((triple12) -> rule6)) -> rule7) triple12) -> rule3) ((triple12) -> rule6)) -> rule5))] Harry is kind.[(triple9 OR ((triple7) -> rule4) OR ((triple11 triple10) -> rule1) OR ((triple11 triple12) -> rule3) OR ((((triple12 ((triple12) -> rule6)) -> rule7) triple10) -> rule1) OR ((((triple12 ((triple12) -> rule6)) -> rule7) triple12) -> rule3))] Harry is round.[(triple10)] Harry is smart.[(triple11 OR ((triple12 ((triple12) -> rule6)) -> rule7))] Harry is young.[(triple12)] @1: Anne is green.[(((triple3) -> rule6))] Charlie is green.[(((triple6) -> rule6))] Harry is green.[(((triple11) -> rule8) OR ((triple12) -> rule6))] @2: Anne is smart.[(((triple3 ((triple3) -> rule6)) -> rule7))] Charlie is smart.[(((triple6 ((triple6) -> rule6)) -> rule7))] @3: Charlie is kind.[(((((triple6 ((triple6) -> rule6)) -> rule7) triple5) -> rule1) OR ((((triple6 ((triple6) -> rule6)) -> rule7) triple6) -> rule3))] @4: Charlie is cold.[(((((((triple6 ((triple6) -> rule6)) -> rule7) triple5) -> rule1) ((triple6) -> rule6)) -> rule5) OR ((((((triple6 ((triple6) -> rule6)) -> rule7) triple6) -> rule3) ((triple6) -> rule6)) -> rule5))] @5: Charlie is big.[(((((((((triple6 ((triple6) -> rule6)) -> rule7) triple5) -> rule1) ((triple6) -> rule6)) -> rule5)) -> rule2) OR ((((((((triple6 ((triple6) -> rule6)) -> rule7) triple6) -> rule3) ((triple6) -> rule6)) -> rule5)) -> rule2))]