Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is round. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. All green things are round. Blue things are cold. Red things are cold. If Bob is blue and Bob is cold then Bob is furry. Kind, red things are green. Cold things are furry. All round, blue things are kind. All kind things are furry.
Charlie is not round.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule2) OR ((triple6) -> rule3))] Bob is furry.[(triple3 OR ((triple2) -> rule6) OR ((triple5) -> rule8) OR ((triple1 triple2) -> rule4) OR ((((triple1) -> rule2)) -> rule6) OR ((((triple6) -> rule3)) -> rule6) OR ((((triple7 triple1) -> rule7)) -> rule8) OR ((triple1 ((triple1) -> rule2)) -> rule4) OR ((triple1 ((triple6) -> rule3)) -> rule4) OR ((((((triple4) -> rule1) triple1) -> rule7)) -> rule8))] Bob is green.[(triple4 OR ((triple5 triple6) -> rule5) OR ((((triple7 triple1) -> rule7) triple6) -> rule5))] Bob is kind.[(triple5 OR ((triple7 triple1) -> rule7) OR ((((triple4) -> rule1) triple1) -> rule7))] Bob is red.[(triple6)] Bob is round.[(triple7 OR ((triple4) -> rule1) OR ((((triple5 triple6) -> rule5)) -> rule1))] Charlie is furry.[(triple8 OR ((triple10) -> rule8) OR ((((triple11) -> rule3)) -> rule6))] Charlie is green.[(triple9 OR ((triple10 triple11) -> rule5))] Charlie is kind.[(triple10)] Charlie is red.[(triple11)] Charlie is round.[(triple12 OR ((triple9) -> rule1) OR ((((triple10 triple11) -> rule5)) -> rule1))] @1: Charlie is cold.[(((triple11) -> rule3))]