Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is round. Bob is smart. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is smart. Fiona is furry. Fiona is green. Fiona is nice. If someone is round then they are red. Nice people are smart. All furry people are green. All smart people are nice. Smart, red people are kind. Green people are round.
Erin is furry.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule3))] Bob is kind.[(triple3 OR ((triple7 triple5) -> rule5) OR ((triple7 ((triple6) -> rule1)) -> rule5) OR ((((triple4) -> rule2) triple5) -> rule5) OR ((((triple4) -> rule2) ((triple6) -> rule1)) -> rule5) OR ((triple7 ((((triple2) -> rule6)) -> rule1)) -> rule5) OR ((((triple4) -> rule2) ((((triple2) -> rule6)) -> rule1)) -> rule5) OR ((triple7 ((((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((triple4) -> rule2) ((((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule5))] Bob is nice.[(triple4 OR ((triple7) -> rule4))] Bob is red.[(triple5 OR ((triple6) -> rule1) OR ((((triple2) -> rule6)) -> rule1) OR ((((((triple1) -> rule3)) -> rule6)) -> rule1))] Bob is round.[(triple6 OR ((triple2) -> rule6) OR ((((triple1) -> rule3)) -> rule6))] Bob is smart.[(triple7 OR ((triple4) -> rule2))] Erin is kind.[(triple8 OR ((triple12 triple10) -> rule5) OR ((triple12 ((triple11) -> rule1)) -> rule5) OR ((((triple9) -> rule2) triple10) -> rule5) OR ((((triple9) -> rule2) ((triple11) -> rule1)) -> rule5))] Erin is nice.[(triple9 OR ((triple12) -> rule4))] Erin is red.[(triple10 OR ((triple11) -> rule1))] Erin is round.[(triple11)] Erin is smart.[(triple12 OR ((triple9) -> rule2))] Fiona is furry.[(triple13)] Fiona is green.[(triple14 OR ((triple13) -> rule3))] Fiona is nice.[(triple15)] @1: Fiona is round.[(((triple14) -> rule6) OR ((((triple13) -> rule3)) -> rule6))] Fiona is smart.[(((triple15) -> rule2))] @2: Fiona is red.[(((((triple14) -> rule6)) -> rule1) OR ((((((triple13) -> rule3)) -> rule6)) -> rule1))] @3: Fiona is kind.[(((((triple15) -> rule2) ((((triple14) -> rule6)) -> rule1)) -> rule5) OR ((((triple15) -> rule2) ((((((triple13) -> rule3)) -> rule6)) -> rule1)) -> rule5))]