Anne is blue. Anne is furry. Anne is round. Anne is young. Bob is big. Bob is blue. Bob is green. Dave is furry. Dave is green. Dave is round. Fiona is big. Fiona is blue. Fiona is furry. Fiona is round. Fiona is smart. Fiona is young. If someone is young then they are blue. Big, smart people are round. If someone is young and green then they are big. If Fiona is young and Fiona is blue then Fiona is furry. All green, round people are smart. All furry people are smart. If someone is smart then they are green. If Fiona is green then Fiona is young.
Bob is young.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule1))] Anne is furry.[(triple2)] Anne is round.[(triple3 OR ((((triple4 ((((triple2) -> rule6)) -> rule7)) -> rule3) ((triple2) -> rule6)) -> rule2))] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is green.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9 OR ((((triple8) -> rule6)) -> rule7))] Dave is round.[(triple10)] Fiona is big.[(triple11 OR ((triple16 ((triple15) -> rule7)) -> rule3) OR ((triple16 ((((triple13) -> rule6)) -> rule7)) -> rule3) OR ((((((triple15) -> rule7)) -> rule8) ((triple15) -> rule7)) -> rule3) OR ((((((triple15) -> rule7)) -> rule8) ((((triple13) -> rule6)) -> rule7)) -> rule3) OR ((triple16 ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((triple15) -> rule7)) -> rule3) OR ((((((triple15) -> rule7)) -> rule8) ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((triple13) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) OR ((triple16 ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple15) -> rule7)) -> rule8) ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3))] Fiona is blue.[(triple12 OR ((triple16) -> rule1) OR ((((((triple15) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple13) -> rule6)) -> rule7)) -> rule8)) -> rule1))] Fiona is furry.[(triple13 OR ((triple16 triple12) -> rule4) OR ((triple16 ((triple16) -> rule1)) -> rule4) OR ((((((triple15) -> rule7)) -> rule8) triple12) -> rule4) OR ((((((triple15) -> rule7)) -> rule8) ((triple16) -> rule1)) -> rule4) OR ((triple16 ((((((triple15) -> rule7)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple15) -> rule7)) -> rule8) ((((((triple15) -> rule7)) -> rule8)) -> rule1)) -> rule4))] Fiona is round.[(triple14 OR ((triple11 triple15) -> rule2) OR ((triple11 ((triple13) -> rule6)) -> rule2) OR ((triple11 ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((triple16 ((triple15) -> rule7)) -> rule3) triple15) -> rule2) OR ((((triple16 ((triple15) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((triple16 ((triple15) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((triple11 ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((triple16 ((((triple13) -> rule6)) -> rule7)) -> rule3) triple15) -> rule2) OR ((((triple16 ((((triple13) -> rule6)) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((triple15) -> rule7)) -> rule3) triple15) -> rule2) OR ((((triple16 ((triple15) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((triple16 ((((triple13) -> rule6)) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((triple15) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((triple13) -> rule6)) -> rule7)) -> rule3) triple15) -> rule2) OR ((((triple16 ((((triple13) -> rule6)) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((triple15) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((triple13) -> rule6)) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((triple15) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((triple13) -> rule6)) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((triple13) -> rule6)) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((triple16 ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) triple15) -> rule2) OR ((((triple16 ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((triple15) -> rule7)) -> rule3) triple15) -> rule2) OR ((((triple16 ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) triple15) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((triple15) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((triple13) -> rule6)) -> rule7)) -> rule3) triple15) -> rule2) OR ((((triple16 ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((triple15) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((triple13) -> rule6)) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) triple15) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((triple15) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((triple13) -> rule6)) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((triple13) -> rule6)) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((triple16 ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) triple15) -> rule2) OR ((((triple16 ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((triple16 ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) triple15) -> rule2) OR ((((triple16 ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) triple15) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((triple13) -> rule6)) -> rule2) OR ((((((((triple15) -> rule7)) -> rule8) ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 triple12) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple13) -> rule6)) -> rule7)) -> rule8) ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7)) -> rule3) ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule2))] Fiona is smart.[(triple15 OR ((triple13) -> rule6) OR ((((triple16 triple12) -> rule4)) -> rule6) OR ((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6))] Fiona is young.[(triple16 OR ((((triple15) -> rule7)) -> rule8) OR ((((((triple13) -> rule6)) -> rule7)) -> rule8))] @1: Anne is smart.[(((triple2) -> rule6))] Dave is smart.[(((triple8) -> rule6) OR ((triple9 triple10) -> rule5))] Fiona is green.[(((triple15) -> rule7) OR ((((triple13) -> rule6)) -> rule7) OR ((((((triple16 triple12) -> rule4)) -> rule6)) -> rule7) OR ((((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule6)) -> rule7))] @2: Anne is green.[(((((triple2) -> rule6)) -> rule7))] @3: Anne is big.[(((triple4 ((((triple2) -> rule6)) -> rule7)) -> rule3))]