Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is red. Charlie is big. Charlie is cold. Charlie is white. Erin is kind. Erin is nice. Erin is white. Fiona is big. If someone is big and kind then they are white. If someone is cold and nice then they are big. If someone is big and cold then they are nice. If someone is nice and kind then they are white. Cold people are furry. All furry people are kind.
Bob is not furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule5))] Bob is kind.[(triple3 OR ((triple2) -> rule6) OR ((((triple1) -> rule5)) -> rule6))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Charlie is big.[(triple6)] Charlie is cold.[(triple7)] Charlie is white.[(triple8 OR ((triple6 ((((triple7) -> rule5)) -> rule6)) -> rule1) OR ((((triple6 triple7) -> rule3) ((((triple7) -> rule5)) -> rule6)) -> rule4))] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is white.[(triple11 OR ((triple10 triple9) -> rule4))] Fiona is big.[(triple12)] @1: Bob is big.[(((triple1 triple4) -> rule2))] Bob is white.[(((triple4 triple3) -> rule4) OR ((triple4 ((triple2) -> rule6)) -> rule4) OR ((((triple1 triple4) -> rule2) triple3) -> rule1) OR ((((triple1 triple4) -> rule2) ((triple2) -> rule6)) -> rule1) OR ((triple4 ((((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((triple1 triple4) -> rule2) ((((triple1) -> rule5)) -> rule6)) -> rule1))] Charlie is furry.[(((triple7) -> rule5))] Charlie is nice.[(((triple6 triple7) -> rule3))] @2: Charlie is kind.[(((((triple7) -> rule5)) -> rule6))]