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