Bob is big. Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Dave is big. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Erin is red. Harry is big. Harry is furry. Harry is quiet. If Erin is big and Erin is furry then Erin is cold. If Bob is nice and Bob is not big then Bob is quiet. If someone is red then they are cold. If someone is furry then they are nice. Cold, big people are smart. If someone is big and not furry then they are red. Smart people are quiet. If someone is big and not red then they are quiet.
Dave is not nice.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple6) -> rule3))] Bob is furry.[(triple3)] Bob is nice.[(triple4 OR ((triple3) -> rule4))] Bob is quiet.[(triple5 OR ((((triple2 triple1) -> rule5)) -> rule7) OR ((((((triple6) -> rule3) triple1) -> rule5)) -> rule7))] Bob is red.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is nice.[(triple9 OR ((triple8) -> rule4))] Dave is quiet.[(triple10 OR ((triple12) -> rule7) OR ((((((triple11) -> rule3) triple7) -> rule5)) -> rule7))] Dave is red.[(triple11)] Dave is smart.[(triple12 OR ((((triple11) -> rule3) triple7) -> rule5))] Erin is red.[(triple13)] Harry is big.[(triple14)] Harry is furry.[(triple15)] Harry is quiet.[(triple16)] @1: Bob is smart.[(((triple2 triple1) -> rule5) OR ((((triple6) -> rule3) triple1) -> rule5))] Dave is cold.[(((triple11) -> rule3))] Erin is cold.[(((triple13) -> rule3))] Harry is nice.[(((triple15) -> rule4))]