Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. All furry, kind things are green. If Charlie is rough and Charlie is green then Charlie is quiet. Rough things are quiet. All rough, smart things are kind. If Bob is quiet then Bob is furry. If Charlie is cold then Charlie is kind. If something is green and quiet then it is kind. Furry, rough things are quiet.
Bob is furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple5) -> rule5) OR ((((triple6) -> rule3)) -> rule5))] Bob is green.[(triple3 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple6 triple7) -> rule4)) -> rule1) OR ((((triple5) -> rule5) triple4) -> rule1) OR ((((triple5) -> rule5) ((triple6 triple7) -> rule4)) -> rule1) OR ((((((triple6) -> rule3)) -> rule5) triple4) -> rule1) OR ((((((triple6) -> rule3)) -> rule5) ((triple6 triple7) -> rule4)) -> rule1))] Bob is kind.[(triple4 OR ((triple3 triple5) -> rule7) OR ((triple6 triple7) -> rule4) OR ((triple3 ((triple6) -> rule3)) -> rule7) OR ((triple3 ((triple2 triple6) -> rule8)) -> rule7))] Bob is quiet.[(triple5 OR ((triple6) -> rule3) OR ((triple2 triple6) -> rule8))] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10 OR ((triple9 triple11) -> rule1) OR ((triple9 ((triple8) -> rule6)) -> rule1) OR ((triple9 ((triple13 triple14) -> rule4)) -> rule1))] Charlie is kind.[(triple11 OR ((triple8) -> rule6) OR ((triple10 triple12) -> rule7) OR ((triple13 triple14) -> rule4) OR ((triple10 ((triple13) -> rule3)) -> rule7) OR ((triple10 ((triple13 triple10) -> rule2)) -> rule7) OR ((triple10 ((triple9 triple13) -> rule8)) -> rule7))] Charlie is quiet.[(triple12 OR ((triple13) -> rule3) OR ((triple13 triple10) -> rule2) OR ((triple9 triple13) -> rule8) OR ((triple13 ((triple9 triple11) -> rule1)) -> rule2) OR ((triple13 ((triple9 ((triple8) -> rule6)) -> rule1)) -> rule2) OR ((triple13 ((triple9 ((triple13 triple14) -> rule4)) -> rule1)) -> rule2))] Charlie is rough.[(triple13)] Charlie is smart.[(triple14)]