Bob is kind. Charlie is cold. Charlie is kind. Dave is cold. Dave is red. Dave is not smart. Harry is blue. Harry is cold. Harry is not kind. Harry is not rough. Harry is smart. If someone is red then they are blue. If someone is kind then they are blue. If someone is smart then they are cold. If someone is red and rough then they are not cold. Kind, blue people are smart. If someone is red then they are quiet. All cold people are red. If Charlie is rough then Charlie is cold.
Charlie is not rough.
@0: Bob is kind.[(triple1)] Charlie is cold.[(triple2 OR ((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule3))] Charlie is kind.[(triple3)] Dave is cold.[(triple4)] Dave is not smart.[(triple6)] Dave is red.[(triple5 OR ((triple4) -> rule7))] Harry is blue.[(triple7 OR ((((triple8) -> rule7)) -> rule1) OR ((((((triple11) -> rule3)) -> rule7)) -> rule1))] Harry is cold.[(triple8 OR ((triple11) -> rule3))] Harry is not kind.[(triple9)] Harry is not rough.[(triple10)] Harry is smart.[(triple11)] @1: Bob is blue.[(((triple1) -> rule2))] Charlie is blue.[(((triple3) -> rule2) OR ((((triple2) -> rule7)) -> rule1))] Charlie is red.[(((triple2) -> rule7) OR ((((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule7))] Dave is blue.[(((triple5) -> rule1) OR ((((triple4) -> rule7)) -> rule1))] Dave is quiet.[(((triple5) -> rule6) OR ((((triple4) -> rule7)) -> rule6))] Harry is red.[(((triple8) -> rule7) OR ((((triple11) -> rule3)) -> rule7))] @2: Bob is smart.[(((triple1 ((triple1) -> rule2)) -> rule5))] Charlie is quiet.[(((((triple2) -> rule7)) -> rule6) OR ((((((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule7)) -> rule6))] Charlie is smart.[(((triple3 ((triple3) -> rule2)) -> rule5) OR ((triple3 ((((triple2) -> rule7)) -> rule1)) -> rule5))] Harry is quiet.[(((((triple8) -> rule7)) -> rule6) OR ((((((triple11) -> rule3)) -> rule7)) -> rule6))] @3: Bob is cold.[(((((triple1 ((triple1) -> rule2)) -> rule5)) -> rule3))] @4: Bob is red.[(((((((triple1 ((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule7))] @5: Bob is quiet.[(((((((((triple1 ((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule7)) -> rule6))]