Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is smart. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. All smart people are furry. If Charlie is cold and Charlie is kind then Charlie is nice. All red people are cold. If Charlie is smart then Charlie is kind. Furry, cold people are kind. Nice, red people are kind.
Charlie is furry.
@0: Bob is cold.[(triple1 OR ((triple5) -> rule3))] Bob is furry.[(triple2 OR ((triple7) -> rule1))] Bob is kind.[(triple3 OR ((triple2 triple1) -> rule5) OR ((triple4 triple5) -> rule6) OR ((triple2 ((triple5) -> rule3)) -> rule5) OR ((((triple7) -> rule1) triple1) -> rule5) OR ((((triple7) -> rule1) ((triple5) -> rule3)) -> rule5))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Charlie is cold.[(triple8 OR ((triple12) -> rule3))] Charlie is furry.[(triple9 OR ((triple14) -> rule1))] Charlie is kind.[(triple10 OR ((triple14) -> rule4) OR ((triple11 triple12) -> rule6) OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple12) -> rule3)) -> rule5) OR ((((triple14) -> rule1) triple8) -> rule5) OR ((((triple14) -> rule1) ((triple12) -> rule3)) -> rule5))] Charlie is nice.[(triple11 OR ((triple8 triple10) -> rule2) OR ((triple8 ((triple14) -> rule4)) -> rule2) OR ((triple8 ((triple9 triple8) -> rule5)) -> rule2) OR ((((triple12) -> rule3) triple10) -> rule2) OR ((((triple12) -> rule3) ((triple14) -> rule4)) -> rule2) OR ((((triple12) -> rule3) ((triple9 triple8) -> rule5)) -> rule2) OR ((triple8 ((triple9 ((triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple8 ((((triple14) -> rule1) triple8) -> rule5)) -> rule2) OR ((triple8 ((((triple14) -> rule1) ((triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple12) -> rule3) ((triple9 ((triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple12) -> rule3) ((((triple14) -> rule1) triple8) -> rule5)) -> rule2) OR ((((triple12) -> rule3) ((((triple14) -> rule1) ((triple12) -> rule3)) -> rule5)) -> rule2))] Charlie is red.[(triple12)] Charlie is rough.[(triple13)] Charlie is smart.[(triple14)]