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