Bob is big. Bob is cold. Bob is green. Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Harry is big. Harry is cold. Harry is nice. Harry is quiet. If something is cold then it is nice. If something is nice then it is blue. All blue things are green. All quiet things are cold. All quiet, nice things are big. If something is cold then it is quiet. Blue, green things are kind. Blue things are big.
Bob is not kind.
@0: Bob is big.[(triple1 OR ((((triple2) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2)) -> rule8))] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((((((triple2) -> rule1)) -> rule2)) -> rule3))] Charlie is big.[(triple4 OR ((((triple5) -> rule6) ((triple5) -> rule1)) -> rule5) OR ((((((triple5) -> rule1)) -> rule2)) -> rule8))] Charlie is cold.[(triple5)] Charlie is green.[(triple6 OR ((((((triple5) -> rule1)) -> rule2)) -> rule3))] Charlie is kind.[(triple7 OR ((((((triple5) -> rule1)) -> rule2) triple6) -> rule7) OR ((((((triple5) -> rule1)) -> rule2) ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule7))] Dave is big.[(triple8 OR ((triple12 triple11) -> rule5) OR ((((triple11) -> rule2)) -> rule8) OR ((triple12 ((triple9) -> rule1)) -> rule5) OR ((((triple9) -> rule6) triple11) -> rule5) OR ((((triple9) -> rule6) ((triple9) -> rule1)) -> rule5) OR ((((((triple9) -> rule1)) -> rule2)) -> rule8) OR ((triple12 ((((triple12) -> rule4)) -> rule1)) -> rule5) OR ((((triple9) -> rule6) ((((triple12) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple12) -> rule4)) -> rule1)) -> rule2)) -> rule8))] Dave is cold.[(triple9 OR ((triple12) -> rule4))] Dave is kind.[(triple10 OR ((((triple11) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((triple11) -> rule2) ((((((triple9) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule2) ((((((triple9) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule4)) -> rule1)) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule4)) -> rule1)) -> rule2) ((((((triple9) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((triple11) -> rule2) ((((((((triple12) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule2) ((((((((triple12) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule4)) -> rule1)) -> rule2) ((((((((triple12) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7))] Dave is nice.[(triple11 OR ((triple9) -> rule1) OR ((((triple12) -> rule4)) -> rule1))] Dave is quiet.[(triple12 OR ((triple9) -> rule6))] Harry is big.[(triple13 OR ((triple16 triple15) -> rule5) OR ((((triple15) -> rule2)) -> rule8) OR ((triple16 ((triple14) -> rule1)) -> rule5) OR ((((triple14) -> rule6) triple15) -> rule5) OR ((((triple14) -> rule6) ((triple14) -> rule1)) -> rule5) OR ((((((triple14) -> rule1)) -> rule2)) -> rule8) OR ((triple16 ((((triple16) -> rule4)) -> rule1)) -> rule5) OR ((((triple14) -> rule6) ((((triple16) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule8))] Harry is cold.[(triple14 OR ((triple16) -> rule4))] Harry is nice.[(triple15 OR ((triple14) -> rule1) OR ((((triple16) -> rule4)) -> rule1))] Harry is quiet.[(triple16 OR ((triple14) -> rule6))] @1: Bob is nice.[(((triple2) -> rule1))] Bob is quiet.[(((triple2) -> rule6))] Charlie is nice.[(((triple5) -> rule1))] Charlie is quiet.[(((triple5) -> rule6))] Dave is blue.[(((triple11) -> rule2) OR ((((triple9) -> rule1)) -> rule2) OR ((((((triple12) -> rule4)) -> rule1)) -> rule2))] Harry is blue.[(((triple15) -> rule2) OR ((((triple14) -> rule1)) -> rule2) OR ((((((triple16) -> rule4)) -> rule1)) -> rule2))] @2: Bob is blue.[(((((triple2) -> rule1)) -> rule2))] Charlie is blue.[(((((triple5) -> rule1)) -> rule2))] Dave is green.[(((((triple11) -> rule2)) -> rule3) OR ((((((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple12) -> rule4)) -> rule1)) -> rule2)) -> rule3))] Harry is green.[(((((triple15) -> rule2)) -> rule3) OR ((((((triple14) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3))] @3: Bob is kind.[(((((((triple2) -> rule1)) -> rule2) triple3) -> rule7) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple2) -> rule1)) -> rule2)) -> rule3)) -> rule7))] Harry is kind.[(((((triple15) -> rule2) ((((triple15) -> rule2)) -> rule3)) -> rule7) OR ((((((triple14) -> rule1)) -> rule2) ((((triple15) -> rule2)) -> rule3)) -> rule7) OR ((((triple15) -> rule2) ((((((triple14) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple14) -> rule1)) -> rule2) ((((((triple14) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2) ((((triple15) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2) ((((((triple14) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((triple15) -> rule2) ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple14) -> rule1)) -> rule2) ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple16) -> rule4)) -> rule1)) -> rule2) ((((((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule3)) -> rule7))]