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