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