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