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