Bob is big. Bob is green. Bob is smart. Dave is nice. Fiona is big. Fiona is green. Harry is nice. If something is white then it is furry. If something is green and not big then it is not furry. If something is round then it is furry. All round things are nice. If something is furry then it is green. All green, nice things are smart. All furry things are round. Big things are white.
Fiona is smart.
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((((((triple1) -> rule8)) -> rule1)) -> rule5))] Bob is smart.[(triple3 OR ((triple2 ((((((((triple1) -> rule8)) -> rule1)) -> rule7)) -> rule4)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule1)) -> rule5) ((((((((triple1) -> rule8)) -> rule1)) -> rule7)) -> rule4)) -> rule6))] Dave is nice.[(triple4)] Fiona is big.[(triple5)] Fiona is green.[(triple6 OR ((((((triple5) -> rule8)) -> rule1)) -> rule5))] Harry is nice.[(triple7)] @1: Bob is white.[(((triple1) -> rule8))] Fiona is white.[(((triple5) -> rule8))] @2: Bob is furry.[(((((triple1) -> rule8)) -> rule1))] Fiona is furry.[(((((triple5) -> rule8)) -> rule1))] @3: Bob is round.[(((((((triple1) -> rule8)) -> rule1)) -> rule7))] Fiona is round.[(((((((triple5) -> rule8)) -> rule1)) -> rule7))] @4: Bob is nice.[(((((((((triple1) -> rule8)) -> rule1)) -> rule7)) -> rule4))] Fiona is nice.[(((((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule4))] @5: Fiona is smart.[(((triple6 ((((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule4)) -> rule6) OR ((((((((triple5) -> rule8)) -> rule1)) -> rule5) ((((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule4)) -> rule6))]