Bob is cold. Bob is nice. Bob is red. Bob is white. Charlie is white. Fiona is furry. Harry is big. Harry is cold. Harry is furry. Harry is nice. Harry is red. If Charlie is white and Charlie is nice then Charlie is big. If someone is furry then they are nice. If someone is big and white then they are cold. If someone is red and nice then they are green. All white people are cold. White, nice people are red. If Harry is red then Harry is white. All cold people are furry.
Charlie is cold.
@0: Bob is cold.[(triple1 OR ((triple4) -> rule5))] Bob is nice.[(triple2 OR ((((triple1) -> rule8)) -> rule2) OR ((((((triple4) -> rule5)) -> rule8)) -> rule2))] Bob is red.[(triple3 OR ((triple4 triple2) -> rule6) OR ((triple4 ((((triple1) -> rule8)) -> rule2)) -> rule6) OR ((triple4 ((((((triple4) -> rule5)) -> rule8)) -> rule2)) -> rule6))] Bob is white.[(triple4)] Charlie is white.[(triple5)] Fiona is furry.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8 OR ((((triple11) -> rule7)) -> rule5) OR ((triple7 ((triple11) -> rule7)) -> rule3))] Harry is furry.[(triple9 OR ((triple8) -> rule8) OR ((((((triple11) -> rule7)) -> rule5)) -> rule8) OR ((((triple7 ((triple11) -> rule7)) -> rule3)) -> rule8))] Harry is nice.[(triple10 OR ((triple9) -> rule2) OR ((((triple8) -> rule8)) -> rule2) OR ((((((((triple11) -> rule7)) -> rule5)) -> rule8)) -> rule2) OR ((((((triple7 ((triple11) -> rule7)) -> rule3)) -> rule8)) -> rule2))] Harry is red.[(triple11)] @1: Bob is furry.[(((triple1) -> rule8) OR ((((triple4) -> rule5)) -> rule8))] Bob is green.[(((triple3 triple2) -> rule4) OR ((((triple4 triple2) -> rule6) triple2) -> rule4) OR ((triple3 ((((triple1) -> rule8)) -> rule2)) -> rule4) OR ((((triple4 triple2) -> rule6) ((((triple1) -> rule8)) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((triple4 ((((triple1) -> rule8)) -> rule2)) -> rule6) triple2) -> rule4) OR ((((triple4 triple2) -> rule6) ((((((triple4) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((triple4 ((((triple1) -> rule8)) -> rule2)) -> rule6) ((((triple1) -> rule8)) -> rule2)) -> rule4) OR ((((triple4 ((((triple1) -> rule8)) -> rule2)) -> rule6) ((((((triple4) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((triple4 ((((((triple4) -> rule5)) -> rule8)) -> rule2)) -> rule6) triple2) -> rule4) OR ((((triple4 ((((((triple4) -> rule5)) -> rule8)) -> rule2)) -> rule6) ((((triple1) -> rule8)) -> rule2)) -> rule4) OR ((((triple4 ((((((triple4) -> rule5)) -> rule8)) -> rule2)) -> rule6) ((((((triple4) -> rule5)) -> rule8)) -> rule2)) -> rule4))] Charlie is cold.[(((triple5) -> rule5))] Fiona is nice.[(((triple6) -> rule2))] Harry is green.[(((triple11 triple10) -> rule4) OR ((triple11 ((triple9) -> rule2)) -> rule4) OR ((triple11 ((((triple8) -> rule8)) -> rule2)) -> rule4) OR ((triple11 ((((((((triple11) -> rule7)) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((triple11 ((((((triple7 ((triple11) -> rule7)) -> rule3)) -> rule8)) -> rule2)) -> rule4))] Harry is white.[(((triple11) -> rule7))] @2: Charlie is furry.[(((((triple5) -> rule5)) -> rule8))] @3: Charlie is nice.[(((((((triple5) -> rule5)) -> rule8)) -> rule2))] @4: Charlie is big.[(((triple5 ((((((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule1))] Charlie is red.[(((triple5 ((((((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6))] @5: Charlie is green.[(((((triple5 ((((((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule6) ((((((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule4))]