Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is smart. Bob is young. Young, blue people are kind. If someone is smart and furry then they are red. All young people are smart. Furry, young people are cold. If someone is furry then they are young. Red, blue people are furry.
Bob is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple7) -> rule4) OR ((triple3 ((triple3) -> rule5)) -> rule4) OR ((((triple5 triple1) -> rule6) triple7) -> rule4) OR ((((triple5 triple1) -> rule6) ((triple3) -> rule5)) -> rule4) OR ((triple3 ((((triple5 triple1) -> rule6)) -> rule5)) -> rule4) OR ((((triple5 triple1) -> rule6) ((((triple5 triple1) -> rule6)) -> rule5)) -> rule4))] Bob is furry.[(triple3 OR ((triple5 triple1) -> rule6))] Bob is kind.[(triple4 OR ((triple7 triple1) -> rule1) OR ((((triple3) -> rule5) triple1) -> rule1) OR ((((((triple5 triple1) -> rule6)) -> rule5) triple1) -> rule1))] Bob is red.[(triple5 OR ((triple6 triple3) -> rule2) OR ((((triple7) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule5)) -> rule3) triple3) -> rule2))] Bob is smart.[(triple6 OR ((triple7) -> rule3) OR ((((triple3) -> rule5)) -> rule3) OR ((((((triple5 triple1) -> rule6)) -> rule5)) -> rule3))] Bob is young.[(triple7 OR ((triple3) -> rule5) OR ((((triple5 triple1) -> rule6)) -> rule5))]