Bob is furry. Bob is white. Dave is furry. Dave is white. Erin is big. Erin is kind. Erin is nice. Erin is white. Fiona is quiet. Fiona is white. All furry, big people are rough. White, rough people are kind. If someone is kind and big then they are furry. If someone is white then they are nice. If Erin is rough then Erin is big. If someone is nice then they are furry. Furry, white people are big. White people are quiet. If Dave is kind and Dave is nice then Dave is rough.
Dave is quiet.
@0: Bob is furry.[(triple1 OR ((((triple2) -> rule4)) -> rule6))] Bob is white.[(triple2)] Dave is furry.[(triple3 OR ((((triple4) -> rule4)) -> rule6))] Dave is white.[(triple4)] Erin is big.[(triple5 OR ((((triple7) -> rule6) triple8) -> rule7) OR ((((((triple8) -> rule4)) -> rule6) triple8) -> rule7))] Erin is kind.[(triple6 OR ((triple8 ((((triple7) -> rule6) triple5) -> rule1)) -> rule2) OR ((triple8 ((((((triple8) -> rule4)) -> rule6) triple5) -> rule1)) -> rule2) OR ((triple8 ((((triple7) -> rule6) ((((triple7) -> rule6) triple8) -> rule7)) -> rule1)) -> rule2) OR ((triple8 ((((((triple8) -> rule4)) -> rule6) ((((triple7) -> rule6) triple8) -> rule7)) -> rule1)) -> rule2) OR ((triple8 ((((triple7) -> rule6) ((((((triple8) -> rule4)) -> rule6) triple8) -> rule7)) -> rule1)) -> rule2) OR ((triple8 ((((((triple8) -> rule4)) -> rule6) ((((((triple8) -> rule4)) -> rule6) triple8) -> rule7)) -> rule1)) -> rule2))] Erin is nice.[(triple7 OR ((triple8) -> rule4))] Erin is white.[(triple8)] Fiona is quiet.[(triple9 OR ((triple10) -> rule8))] Fiona is white.[(triple10)] @1: Bob is big.[(((triple1 triple2) -> rule7) OR ((((((triple2) -> rule4)) -> rule6) triple2) -> rule7))] Bob is nice.[(((triple2) -> rule4))] Bob is quiet.[(((triple2) -> rule8))] Dave is big.[(((triple3 triple4) -> rule7) OR ((((((triple4) -> rule4)) -> rule6) triple4) -> rule7))] Dave is nice.[(((triple4) -> rule4))] Dave is quiet.[(((triple4) -> rule8))] Erin is furry.[(((triple7) -> rule6) OR ((triple6 triple5) -> rule3) OR ((((triple8) -> rule4)) -> rule6))] Erin is quiet.[(((triple8) -> rule8))] Fiona is nice.[(((triple10) -> rule4))] @2: Bob is rough.[(((triple1 ((triple1 triple2) -> rule7)) -> rule1) OR ((((((triple2) -> rule4)) -> rule6) ((triple1 triple2) -> rule7)) -> rule1) OR ((triple1 ((((((triple2) -> rule4)) -> rule6) triple2) -> rule7)) -> rule1) OR ((((((triple2) -> rule4)) -> rule6) ((((((triple2) -> rule4)) -> rule6) triple2) -> rule7)) -> rule1))] Dave is rough.[(((triple3 ((triple3 triple4) -> rule7)) -> rule1) OR ((((((triple4) -> rule4)) -> rule6) ((triple3 triple4) -> rule7)) -> rule1) OR ((triple3 ((((((triple4) -> rule4)) -> rule6) triple4) -> rule7)) -> rule1) OR ((((((triple4) -> rule4)) -> rule6) ((((((triple4) -> rule4)) -> rule6) triple4) -> rule7)) -> rule1))] Erin is rough.[(((((triple7) -> rule6) triple5) -> rule1) OR ((((triple6 triple5) -> rule3) triple5) -> rule1) OR ((((((triple8) -> rule4)) -> rule6) triple5) -> rule1) OR ((((triple7) -> rule6) ((((triple7) -> rule6) triple8) -> rule7)) -> rule1) OR ((((triple6 triple5) -> rule3) ((((triple7) -> rule6) triple8) -> rule7)) -> rule1) OR ((((((triple8) -> rule4)) -> rule6) ((((triple7) -> rule6) triple8) -> rule7)) -> rule1) OR ((((triple7) -> rule6) ((((((triple8) -> rule4)) -> rule6) triple8) -> rule7)) -> rule1) OR ((((triple6 triple5) -> rule3) ((((((triple8) -> rule4)) -> rule6) triple8) -> rule7)) -> rule1) OR ((((((triple8) -> rule4)) -> rule6) ((((((triple8) -> rule4)) -> rule6) triple8) -> rule7)) -> rule1))] Fiona is furry.[(((((triple10) -> rule4)) -> rule6))] @3: Bob is kind.[(((triple2 ((triple1 ((triple1 triple2) -> rule7)) -> rule1)) -> rule2) OR ((triple2 ((((((triple2) -> rule4)) -> rule6) ((triple1 triple2) -> rule7)) -> rule1)) -> rule2) OR ((triple2 ((triple1 ((((((triple2) -> rule4)) -> rule6) triple2) -> rule7)) -> rule1)) -> rule2) OR ((triple2 ((((((triple2) -> rule4)) -> rule6) ((((((triple2) -> rule4)) -> rule6) triple2) -> rule7)) -> rule1)) -> rule2))] Dave is kind.[(((triple4 ((triple3 ((triple3 triple4) -> rule7)) -> rule1)) -> rule2) OR ((triple4 ((((((triple4) -> rule4)) -> rule6) ((triple3 triple4) -> rule7)) -> rule1)) -> rule2) OR ((triple4 ((triple3 ((((((triple4) -> rule4)) -> rule6) triple4) -> rule7)) -> rule1)) -> rule2) OR ((triple4 ((((((triple4) -> rule4)) -> rule6) ((((((triple4) -> rule4)) -> rule6) triple4) -> rule7)) -> rule1)) -> rule2))] Fiona is big.[(((((((triple10) -> rule4)) -> rule6) triple10) -> rule7))] @4: Fiona is rough.[(((((((triple10) -> rule4)) -> rule6) ((((((triple10) -> rule4)) -> rule6) triple10) -> rule7)) -> rule1))] @5: Fiona is kind.[(((triple10 ((((((triple10) -> rule4)) -> rule6) ((((((triple10) -> rule4)) -> rule6) triple10) -> rule7)) -> rule1)) -> rule2))]