Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is smart. Dave is blue. Dave is cold. Dave is furry. Dave is red. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is red. If someone is big and furry then they are smart. If someone is green and smart then they are blue. If Dave is smart and Dave is blue then Dave is furry. If someone is blue then they are red. All green, big people are blue. If someone is furry and green then they are blue. If someone is big then they are blue. All blue, big people are green.
Dave is big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((((triple1) -> rule7) triple1) -> rule8))] Bob is red.[(triple5 OR ((((triple1) -> rule7)) -> rule4) OR ((((triple3 triple4) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule2)) -> rule4) OR ((((triple4 ((triple1 triple3) -> rule1)) -> rule2)) -> rule4))] Bob is smart.[(triple6 OR ((triple1 triple3) -> rule1))] Dave is blue.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is red.[(triple10 OR ((triple7) -> rule4))] Harry is big.[(triple11)] Harry is blue.[(triple12 OR ((triple11) -> rule7) OR ((triple14 triple15) -> rule6) OR ((triple15 triple11) -> rule5) OR ((triple15 ((triple11 triple14) -> rule1)) -> rule2))] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is green.[(triple15 OR ((triple12 triple11) -> rule8) OR ((((triple11) -> rule7) triple11) -> rule8))] Harry is red.[(triple16 OR ((triple12) -> rule4) OR ((((triple11) -> rule7)) -> rule4) OR ((((triple14 triple15) -> rule6)) -> rule4) OR ((((triple15 triple11) -> rule5)) -> rule4) OR ((((triple15 ((triple11 triple14) -> rule1)) -> rule2)) -> rule4))] @1: Bob is blue.[(((triple1) -> rule7) OR ((triple3 triple4) -> rule6) OR ((triple4 triple1) -> rule5) OR ((triple4 triple6) -> rule2) OR ((triple4 ((triple1 triple3) -> rule1)) -> rule2))] Harry is smart.[(((triple11 triple14) -> rule1))]