Bob is cold. Bob is rough. Bob is round. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is smart. Harry is cold. Harry is round. Harry is smart. All furry, green people are big. If someone is round and furry then they are rough. Green people are furry. If someone is furry and cold then they are green. All smart, big people are rough. Big, green people are smart. If someone is rough then they are green. If Harry is round then Harry is furry.
Harry is smart.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Fiona is cold.[(triple4)] Fiona is furry.[(triple5 OR ((((triple6) -> rule7)) -> rule3))] Fiona is rough.[(triple6 OR ((triple7 ((triple5 ((triple5 triple4) -> rule4)) -> rule1)) -> rule5) OR ((((((triple5 ((triple5 triple4) -> rule4)) -> rule1) ((triple5 triple4) -> rule4)) -> rule6) ((triple5 ((triple5 triple4) -> rule4)) -> rule1)) -> rule5))] Fiona is smart.[(triple7 OR ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple6) -> rule7)) -> rule6) OR ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple5 triple4) -> rule4)) -> rule6) OR ((((triple5 ((triple5 triple4) -> rule4)) -> rule1) ((triple6) -> rule7)) -> rule6) OR ((((triple5 ((triple5 triple4) -> rule4)) -> rule1) ((triple5 triple4) -> rule4)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple6) -> rule7)) -> rule1) ((triple6) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple6) -> rule7)) -> rule1) ((triple5 triple4) -> rule4)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple5 triple4) -> rule4)) -> rule1) ((triple6) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple5 triple4) -> rule4)) -> rule1) ((triple5 triple4) -> rule4)) -> rule6))] Harry is cold.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10 OR ((((((triple9) -> rule8) ((((triple9) -> rule8) triple8) -> rule4)) -> rule1) ((((triple9) -> rule8) triple8) -> rule4)) -> rule6) OR ((((((triple9) -> rule8) ((((triple9) -> rule8) triple8) -> rule4)) -> rule1) ((((triple9 ((triple9) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((((triple9) -> rule8) ((((triple9 ((triple9) -> rule8)) -> rule2)) -> rule7)) -> rule1) ((((triple9) -> rule8) triple8) -> rule4)) -> rule6) OR ((((((triple9) -> rule8) ((((triple9 ((triple9) -> rule8)) -> rule2)) -> rule7)) -> rule1) ((((triple9 ((triple9) -> rule8)) -> rule2)) -> rule7)) -> rule6))] @1: Bob is green.[(((triple2) -> rule7))] Fiona is green.[(((triple6) -> rule7) OR ((triple5 triple4) -> rule4))] Harry is furry.[(((triple9) -> rule8))] @2: Bob is furry.[(((((triple2) -> rule7)) -> rule3))] Fiona is big.[(((triple5 ((triple6) -> rule7)) -> rule1) OR ((triple5 ((triple5 triple4) -> rule4)) -> rule1) OR ((((((triple6) -> rule7)) -> rule3) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7)) -> rule3) ((triple5 triple4) -> rule4)) -> rule1))] Harry is green.[(((((triple9) -> rule8) triple8) -> rule4) OR ((((triple9 ((triple9) -> rule8)) -> rule2)) -> rule7))] Harry is rough.[(((triple9 ((triple9) -> rule8)) -> rule2) OR ((triple10 ((((triple9) -> rule8) ((((triple9) -> rule8) triple8) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple9) -> rule8) ((((triple9) -> rule8) triple8) -> rule4)) -> rule1) ((((triple9) -> rule8) triple8) -> rule4)) -> rule6) ((((triple9) -> rule8) ((((triple9) -> rule8) triple8) -> rule4)) -> rule1)) -> rule5))] @3: Bob is big.[(((((((triple2) -> rule7)) -> rule3) ((triple2) -> rule7)) -> rule1))] Harry is big.[(((((triple9) -> rule8) ((((triple9) -> rule8) triple8) -> rule4)) -> rule1) OR ((((triple9) -> rule8) ((((triple9 ((triple9) -> rule8)) -> rule2)) -> rule7)) -> rule1))] @4: Bob is smart.[(((((((((triple2) -> rule7)) -> rule3) ((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule6))]