Bob is nice. Bob is young. Fiona is big. Fiona is furry. Fiona is nice. Fiona is red. Gary is red. Harry is furry. Harry is round. Harry is young. All young things are round. If something is cold then it is big. All nice, red things are round. If something is nice then it is big. All furry, red things are round. If something is nice and furry then it is red. If something is big then it is furry. Red, nice things are round.
Bob is big.
@0: Bob is nice.[(triple1)] Bob is young.[(triple2)] Fiona is big.[(triple3 OR ((triple5) -> rule4))] Fiona is furry.[(triple4 OR ((triple3) -> rule7) OR ((((triple5) -> rule4)) -> rule7))] Fiona is nice.[(triple5)] Fiona is red.[(triple6 OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple3) -> rule7)) -> rule6) OR ((triple5 ((((triple5) -> rule4)) -> rule7)) -> rule6))] Gary is red.[(triple7)] Harry is furry.[(triple8)] Harry is round.[(triple9 OR ((triple10) -> rule1))] Harry is young.[(triple10)] @1: Bob is big.[(((triple1) -> rule4))] Bob is round.[(((triple2) -> rule1) OR ((triple1 ((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule6)) -> rule3) OR ((((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule6) triple1) -> rule8) OR ((((((triple1) -> rule4)) -> rule7) ((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule6)) -> rule5))] Fiona is round.[(((triple4 triple6) -> rule5) OR ((triple5 triple6) -> rule3) OR ((triple6 triple5) -> rule8) OR ((triple4 ((triple5 triple4) -> rule6)) -> rule5) OR ((triple5 ((triple5 triple4) -> rule6)) -> rule3) OR ((((triple3) -> rule7) triple6) -> rule5) OR ((((triple5 triple4) -> rule6) triple5) -> rule8) OR ((((triple3) -> rule7) ((triple5 triple4) -> rule6)) -> rule5) OR ((triple4 ((triple5 ((triple3) -> rule7)) -> rule6)) -> rule5) OR ((triple5 ((triple5 ((triple3) -> rule7)) -> rule6)) -> rule3) OR ((((((triple5) -> rule4)) -> rule7) triple6) -> rule5) OR ((((triple5 ((triple3) -> rule7)) -> rule6) triple5) -> rule8) OR ((((triple3) -> rule7) ((triple5 ((triple3) -> rule7)) -> rule6)) -> rule5) OR ((((((triple5) -> rule4)) -> rule7) ((triple5 triple4) -> rule6)) -> rule5) OR ((((((triple5) -> rule4)) -> rule7) ((triple5 ((triple3) -> rule7)) -> rule6)) -> rule5) OR ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5) OR ((triple5 ((triple5 ((((triple5) -> rule4)) -> rule7)) -> rule6)) -> rule3) OR ((((triple5 ((((triple5) -> rule4)) -> rule7)) -> rule6) triple5) -> rule8) OR ((((triple3) -> rule7) ((triple5 ((((triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple5) -> rule4)) -> rule7) ((triple5 ((((triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5))] @2: Bob is furry.[(((((triple1) -> rule4)) -> rule7))] @3: Bob is red.[(((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule6))]